Estos son los ejercicios de práctica de prueba formal de validez que quedé en publicar acá:
- (-z . -t) → (q v -z)
(-z . r) . - (q v -z)
(-z. -t) → (-z . -q)
---------------------------/ r . (-z . -q)
(-p → -q) . (r → s)
(r → s) → -p
(r → s) → (t . s)
------------------------------/ - q . s
(t v r) . -z
(p . -q) → (-r v z)
(t v r) → (p . -q)
---------------------------/ t
Quien desee saber si los resolvió correctamente puede enviarme el o los ejercicios enteros en el cuerpo de un mail.
Saludos
