Leyes de equivalencia

Formula Bien Formada

Expresión que contiene variables proposicionales, constantes, operador lógico

Ejemplo:

• p ∨ q
• p ∨ (q ∧ ((¬r) ∧ s))

Dos proposiciones son lógicamente equivalentes cuando la primera proposición  es verdadera (o falsa en diferentes casos) si y solo si la segunda proposición  es verdadera (o falsa en diferentes casos).  Otra manera de definirlo es que dos formas proposicionales a y b son lógicamente equivalentes si y solo si tiene valores de verdad idénticos.[5]
Dos proposiciones pueden llamarse equivalentes cuando cada una de ellas implica a la otra. [3]

(Ejemplo en la imagen superior al texto)