Tarea de la Unidad II (Seguimiento 2)

TAREA #1
Atendiendo a la prioridad de los conectivos agregue paréntesis a cada inciso:
a. p ∧ q → r
b. p ∨ q→ r ∧ s
c. p ∧ q ∨ r → r ∨ s ∧ r
d. ¬ p ∧ q ↔ r → r
e. p ∧ q ∨ r → r ↔ r
RESPUESTAS
a. (p ∧ q) → r
b. (p ∨ q)→ (r ∧ s)
c. ((p ∧ q) ∨ r) → (r ∨ (s ∧ r))
d. ((¬ p) ∧ q) ↔ r) → r
e. ((p ∧ q) ∨ r) → (r ↔ r)

2. Determinar el valor de certeza de las siguientes proposiciones por medio de sus

diagramas

 Si se sabe que q es verdadera y que p  (qr) es falsa ¿Qué puede decirse

sobre los valores de verdad de p y r?

p Q r (pq) (((pq))r
F F F V F
F F V V V
F V F V F
F V V V V
V F F F V
V F V F V
V V F V F
V V V V V

 Si q es verdadera y (pq) ∧ (qp) es verdadera ¿Qué valor de verdad tiene p?

 p Q (pq) (qp) (((pq)) ∧((qp)))
F F V V V
F V V F F
V F F V F
V V V V V

 Si q es falsa y (pq) r es falsa ¿Qué valor de verdad tiene p y r?

p q R (pq) (((pq))r)
F F V V F
F F V V V
F V V V F
F V V V V
V F F F V
V F F F V
V V V V F
V V V V V

3. Construya la tabla de verdad para cada proposición. Luego, determine si es

tautología o contraindicación o contingencia.

 p ∧ ~ (p ∧ q): Contingencia

q (p∧q) (~ ((p ∧ q))) (p ∧ ( ~ ((p ∧ q))))

p
F F F V F
F V F V F
V F F V V
V V V F F

 (p  ~ q) > (q r): Contraindicciones

p q r (~ q) (p ~ q)) (qr)

(((p (~ q)))> ((q r)))
F F V V V V V
F F V V V V V
F V F F V F F
F V F F V V V
V F V V V V V
V F V V V V V
V V F F F F V
V V F F F V F
  ((p  q) ∧ ~ q)  ~ p: Tautología

p q (pq) (~ q) (((p  q)) (~ p) (((((p  q)) ∧ (~ q))) ( ~ p))

∧( ~ q))
F F V V V V V
F V V F F V V
V F F V F F V
V V V F F F V

 ((p ˅ q) ˄ r) ˅ ((p ˄ q) ˅ ~ r): Contingencia

p q r (p ˅ q) (((p ˅ q)) ˄ r) (p ˄ q) (~ r) (((p ˄ q)) ˅( ~ r)) (((((p ˅ q)) ˄ r)) ˅ ((((p ˄ q))
˅( ~ r))))
F F F F F F V V V
F F V F F F F F F
F V F V F F V V V
F V V V V F F F V
V F F V F F V V V
V F V V V F F F V
V V F V F V V V V
V V V V V V F V V

4. Escribe, en cada caso, los posibles valores de verdad de p, q y r para que se

cumpla la condición dada:

 (p→~ q)˄ r es verdadero

p q r (~ q) (p→(~ q)) (((p→(~ q)))˄ r)

F F F V V F
F F V V V V
F V F F V F
F V V F V V
V F F V V F
V F V V V V
V V F F F F
V V V F F F

 S → ~ p es falsa

s p (~ p) (S → (~ p))
F F V V
F V F V
V F V V
V V F F
 ~ p es falsa.

P (~ p)
F V
V F