top of page
EQUIVALENCIA LÓGICA
Sean A y B dos formas proposicionales, se dice que A es equivalente lógicamente a B, denotado por A ⇔ B, si y solo si A ↔ B es una tautología
El símbolo ⇔ se lo puede remplazar por: ≡
La forma proporcional tautológica: ¬ p ⇔ ( p → ¬ p)
Generalmente para la equivalencia lógica se toma en cuenta las siguientes leyes:
bottom of page