Ej. “No es cierto que hoy es martes y feriado.” ¬ (p ᴧ q)
No es lógicamente equivalente a: “Hoy no es martes y hoy no es feriado.” ¬ p ᴧ ¬ q
Se puede verificar con la tabla de verdad.
Algunas fórmulas lógicamente equivalentes:
(se escribe con doble línea entre ellas, puse una sola porque por este medio no encontré doble)
- Definición de la conjunción en términos de disyunción y viceversa:
¬ (A ᴧ B) ¬ (A v B)
¬ A v ¬ B ¬ A ᴧ ¬ B
- Definición del condicional en términos de conjunción:
A → B
¬ (A ᴧ ¬ B)
- Definición del condicional en términos de disyunción:
A → B
¬ A v B
- Transposición:
A → B
¬ B → ¬ A
No hay comentarios.:
Publicar un comentario