Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Log. Matematica Guia de Ejercicios Itza Urrecheaga
Log. Matematica Guia de Ejercicios Itza Urrecheaga
LOGICA PROPOSICIONAL
Urrecheaga Graterol
CI: 30140014
Sección: 04
Diciembre, 2021
GUÍA DE EJERCICIOS
b) (p→q)↔[(~p→~q)]
p q (p→q) ~p ~q ~p→~q (p→q)↔[(~p→~q)]
V V V F F V V
V F F F V V F
F V V V F F F
F F V V V V V
c) [p^(p→q)]→q
p q p→q [p^(p→q)] [p^(p→q)]→q
V V V V V
V F F F V
F V V F V
F F V F V
ES TAUTOLOGÍA
c) Pᵛ~(q→r)
~(~p^(q→r))≡ ~~pᵛ(q→r)
≡ pᵛ~(~qᵛr)
≡ pᵛ(~~q^~r)
≡ pᵛ(q^~r)