EQUIVALENCIA ENTRE

CUANTIFICADORES
1. Formulas lógicamente equivalentes; dos formulas A y B se dice que
son lógicamente equivalentes si para toda interpretación V, sus valores
de verdad son iguales.
• Si se conocen los valores de verdad para cada primicia ( p,q,r,etc..) en
la formula, es posible verificar la interpretación V para cada formula.
• El operador  denota la equivalencia lógica, el cual se lee “ es
lógicamente equivalente a ”.
• Ejemplo 1: se tienen las formulas A = ( p→q) v S y B = S v ( p→q).
Comprobar si ambas expresiones son lógicamente equivalentes, es
decir; A B.
Solucion : estas se pueden verificar mediante una tabla de verdad.
A = ( p→q) v S
p q S ( p→q) ( p→q) v S
V V V V V
V V F V V
V F V F V
V F F F F
F V V V V
F V F V V
F F V V V
F F F V V
B= S v ( p→q)
p q S ( p→q) S v ( p→q)
V V V V V
V V F V V
V F V F V
V F F F F
F V V V V
F V F V V
F F V V V
F F F V V
• Como se puede observar en el ejemplo 1, ambas tablas de verdad son
idénticas y sus líneas son iguales. Esto quiere decir que ambas
formulas son lógicamente equivalentes.
• Ejemplo 2: mediante una tabla de verdad verifique que ambas
primicias son lógicamente equivalentes:
A= juan no va al trabajo (-p) o maría no va al gimnasio (-q)
B= maría no va al gimnasio o juan no va al trabajo
Solucion: A= (-p v -q)
p q -p -q (-p v -q)
V V F F F
V F F V V
F V V F V
F F V V V
• B=(-q v –p)
p q -p -q (-q v –p)

V V F F F

V F F V V

F V V F V

F F V V V

Como se pudo ver en este ejemplo, las tablas son lógicamente

equivalentes por las misas razones que se evidencian en el ejemplo 1.
• Equivalencia lógica y bicondicional: dos formulas A y B son
lógicamente equivalentes si, y solo si el bicondicional A ↔B es una
tautología. Dicho de otra forma sería: AB, siempre que A↔B sean
valores de verdad verdaderos.
Ejemplo 3: sean las formulas A= (p v q ) y B= (-p→q). Demostrar que es
una equivalencia lógica y bicondicional.
Solucion :
p q -p (p v q ) (-p → q ) (p v q)↔(-p v q )

V V F V V V

V F F V V V

F V V V V V

F F V F F V
• Se puede ver en el ejemplo anterior que ambas formulas son lógicamente
equivalentes, ya que su bicondicional dio como resultado una tautología.
• Ejemplo 4: sea A= -(p v q) y B= (-p ^ q ). Verifique que se trata de una
equivalencia lógica y bicondicional.
• Solucion :
p q -p -q (P v q) -(p v q ) (-p ^ –q ) -(p v q ) ↔ (-p v –q )

V V F F V F F V
V F F V V F F V
F V V F V F F V
F F V V F V V V

Por las misma justificación del ejemplo 3, se trata de una equivalencia

lógica y bicondicional.