Está en la página 1de 3

Tarea de la Unidad II (Seguimiento 2)

Tarea No.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)

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 falsa ¿Qué valor de verdad tiene 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

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


es tautología o contradicción o contingencia.

 p ˄ ~ (p ˄ q): Contingencia

p q (p^q) (~((p^q))) (p^(~((p^q))))


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

 (p → ~ q) ↔ (q → r): Contradicciones

p q r (~q) (p→(~q)) (q→r) (((p→(~q)))↔((q→r)))


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

 ((p → q) ˄ ~ q) → ~ p: Tautología

p q (p→q) (~q) (((p→q))^(~q)) (~p) (((((p→q))^(~q)))→(~p))


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 (pvq) (((pvq))^r) (p^q) (~r) (((p^q))v(~r)) (((((pvq))^r))v((((p^q))v(~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 verdadera
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