Dos fórmulas lógicas son equivalentes si tienen los mismos
valores de verdad para todos los posibles valores de verdad
de sus componentes atómicos.
Verdadero ¬(p → q) ≡ p ^ ¬q
Dos proposiciones P y Q son lógicamente equivalentes si
es una tautología, es decir, si las tablas de verdad de P y Q
son iguales
Falso ¬(p ∨ q) ≡ ¬p ^ ¬q
Si dos fórmulas lógicas son eqivalentes entonces la fórmula
que se obtiene al operarlas con la bicondiconal es una tautología.
verdadero ¬(p → q) ≡ p ^ ¬q
No hay comentarios:
Publicar un comentario