Documentos de Académico
Documentos de Profesional
Documentos de Cultura
PRIMAVERA 2021
Tarea 1
Ejercicios:
(i) (p → q) → r
1.- p q r (p→q) (p→q)→r
V V V V V
V V F V F
V F V F V
V F F F V
F V V V V
F V F V F
F F V V V
F F F V F
(ii) p → (q → r)
p q r (q→r) p→(q→r)
2.-
V V V V V
V V F F F
V F V V V
V F F V V
F V V V V
F V F F V
F F V V V
F F F V V
(iii) (p ∨ ¬q) → (q ∧ r)
(v) p → (q → r)
(vi) p ↔ (q ∧ r)
Una Bicondicional es V Cuando Los valores son iguales, y siendo F, Cuando
cualquiera de los valores es diferente, por tanto, se entiende que:
Si p es V, y (q^r) es también V, ó Tanto p es F, como (q^r) también es F
Entonces se entiende que es Verdadera solo en algunos casos, y estos son
donde:
p, q y r Son V
p es F, y q es V y r es F
q es falsa y r V
q es F y r es F
De ahí, todos los demás casos son F.
V V F F V F F V
V F F V F V V V
F V V F F V V V
F F V V F V V V
(xi) (p −→ q) ←→ (q −→ p)
V V V F F V F F V V
V V F F V V F F V V
V F V V F F V F F V
V F F V V F V F F V
F V V F F V F F V V
F V F F V V F F V V
F F V V F V F F V V
F F F V V V F F V V
(xv) ¬p ←→ q p ←→ ¬q
15.- ~p↔q y p↔~q
(~p↔q) ↔ (p↔~q)
(~p↔q) ≡ (p↔~q)
p q ~p ~q (~p↔q) (p↔~q) (~p↔q) ↔ (p↔~q)
V V F F F F V
V F F V V V V
F V V F V V V
F F V V F F V
(xvi) p → q q →p