[p ↔ (q V r)] V (p → r). Resultat: taula contingent amb la 4a filera falsa.
[( p ↔ q) ^ [(p → q) ^ (q → p) ]] V r. Resultat: taule contingent, amb la 4a i la 6a filera falses.
martes, 8 de diciembre de 2009
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario