Guı́a 1 COMPLEMENTO MAT021

Lógica

Problema 1.
Sean p, q, r y s proposiciones tales que, p es falsa, q es verdadera, r es falsa
y s es verdadera.
Determine el valor de verdad de la siguiente proposición

h  i
(p ∧ s) ⇒ q ∨ (p ⇔ r) ∨ (q ⇒ p)

Problema 2.
Determine el valor de verdad de las proposiciones p, q, r y s, sabiendo que
(p ∧ q) ⇒ (s ∨ r) es falsa.

Problema 3.
Sean p, q, r , s , t y u proposiciones tales que,
h i

(p ⇒ q) ∧ (r ⇒ s) ⇒ t ⇒ u es falsa, determine el valor de verdad de
h i
(p ⇔ r) ∨ (q ⇒ t) ∧ (u ∨ s)

Problema 4.
Determine el valor de verdad de las proposiciones p, q, r y s de modo que la
proposición compuesta [(s ⇔ q) ⇒ r] ⇒ [(p ∨ q) ∧ r], sea falsa.

Problema 5.
Considere las siguientes proposiciones:
p : ahorro dinero, r : compro una casa, q : compro un auto
(a) Escriba en lenguaje simbólico los siguientes enunciados:
(i) Compro un auto o una casa, si ahorro dinero.
(ii) Si no compro un auto y no compro una casa, entonces no ahorro dinero.

(b) Si las aseveraciones anteriores son falsas, determime en cada caso el valor de verdad
de p, q y r.
Guı́a 1 COMPLEMENTO MAT021
Lógica 2

Problema 6.
En cada caso, determine mediante una tabla de verdad si la proposición compuesta
es tautologı́a, contradicción o contingencia.

(a) [p ⇒ ((r ∨ q) ∧ p)] ∧ (q ∨ p)

(b) [p ⇒ (q ∧ r)] ∨ [r ⇒ (p ∨ q)]

h i
(c) (q ∨ (q ∧ p)) ⇒ (q ∨ p) ∧ p

Problema 7.
En cada caso, determine mediante equivalencias lógicas (tautologı́as fundamentales,
propiedades) si la proposición compuesta es tautologı́a, contradicción o contingencia.

(a) [p ⇒ ((r ∨ q) ∧ p)] ∧ (q ∨ p)

(b) [p ⇒ (q ∧ r)] ∨ [r ⇒ (p ∨ q)]

h i
(c) (q ∨ (q ∧ p)) ⇒ (q ∨ p) ∧ p

 
(d) (p ∧ (p ∨ q)) ∨ (p ⇒ q) ∧ (q ⇒ p)

(e) {[(p ⇒ q) ⇒ r] ⇒ s} ⇒ [(q ⇒ r) ⇒ (p ⇒ s)]

Problema 8.
Se define el conectivo ⊗ como p ⊗ q es F alsa, sólo para p F alsa y q V erdadera.
Determine si la proposión [(p ⊗ q) ⊗ p] ⇔ (p ⊗ q) es tautologı́a , contradicción o
contingencia.
Guı́a 1 COMPLEMENTO MAT021
Lógica 3

Respuestas

A continuación encontrará usted las respuestas finales de los problemas propuestos en

este documento, o indicaciones de cómo resolverlos, de modo que usted pueda compararlos
con las respuestas finales que obtendrá luego de realizar sus desarrollos.

Problema 1. La proposición es falsa.

Problema 2. p es V , q es F , s es F , r es V

Problema 3. p es V , q es V , r es V , s es V , t es F , u es V . La proposición es verdadera.

Problema 4. r es verdadera, p es falsa , q es falsa y s es verdadera.

Problema 5.

(a)
(i) p ⇒ (q ∨ r)
(ii) (q ∧ r) ⇒ p

(b) En cada caso, p es V , q es F , r es F

Problema 6.

(a) contingencia

(b) tautologı́a

(c) contradicción

Problema 7.

(a) contingencia (p)

(b) tautologı́a

(c) contradicción

(d) contingencia (p)

(e) tautologı́a
Guı́a 1 COMPLEMENTO MAT021
Lógica 4

Problema 8.
Confeccione la tabla:
p q p⊗q
V V V
V F V
F V F
F F V
y luego la tabla de verdad para la proposición compuesta, y obtendrá que es
una tautologı́a.