EQUIVALENCIA e IMPLICACIÓN LÓGICA

Sean los esquemas moleculares o fórmulas proposicionales (o simplemente proposiciones

compuestas):

𝑃(𝑝) = ~𝑝 ∧ ~𝑝 𝑄(𝑝, 𝑞, 𝑟) = ~(𝑝 ∧ 𝑞) ∨ ~𝑟 𝑅(𝑝, 𝑞) = ~(𝑝 ∧ 𝑞)

La Equivalencia y la implicación son relaciones entre fórmulas proposicionales (P,Q y R), mientras que la
bicondicional y la condicional son relaciones entre proposiciones.
Así tenemos:

LA EQUIVALENCIA.- Si consideramos que se tienen dos proposiciones 𝑃(𝑝, 𝑞, . . . ) y 𝑄(𝑝, 𝑞. . . ), se dice

que son lógicamente equivalentes si sus tablas de verdad son idénticas, es decir, si la tabla de verdad
de la proposición 𝑃 es idéntica a la de 𝑄. Se denota a la Equivalencia lógica de las proposiciónes
𝑃(𝑞, 𝑟, . . . ) y 𝑄(𝑟, 𝑠, . . . ) por:

𝑃(𝑞, 𝑟, … ) ≡ 𝑄(𝑝, 𝑞, … )

También podemos hacer la siguiente observación:

𝑃(𝑝, 𝑞, . . . ) ≡ 𝑄(𝑝, 𝑞, . . . ) sí, y solamente sí, la proposición

𝑃(𝑝, 𝑞, . . . ) ↔ 𝑄(𝑝, 𝑞, . . . ) es una tautología.

Ejemplo
Determinar si A: [∽ ( 𝒑 ∧ 𝒒 ) ∨ ∽ 𝒓] y B:∽ [(𝒑 ∧ 𝒒) ∧ 𝒓] son equivalentes

A B
p q r [∽ ( 𝒑 ∧ 𝒒 ) ∨ ∽ 𝒓] ⟷ ∽ [(𝒑 ∧ 𝒒) ∧ 𝒓]
EJEMPLO
Determinar si A y B son equivalentes, determinar si A y C son equivalentes y determinar si B y C son
equivalentes. Dónde:
A: (∼ 𝑝 ∨ 𝑞) ∨ (∼ 𝑟 ∨∼ 𝑞)
B: 𝑝 ∨ (𝑟 ⟶ 𝑞)
C: ∼ 𝑝 ⟶∼ 𝑞
______ ______
p q r [∽ ( 𝒑 ∧ 𝒒 ) ∨ ∽ 𝒓] ⟷ ∽ ( 𝒑 ∧ 𝒒 ∧ 𝒓 )

______ ______
p q r [∽ ( 𝒑 ∧ 𝒒 ) ∨ ∽ 𝒓] ⟷ ∽ (𝒑 ∧ 𝒒 ∧ 𝒓)

______ ______
p q r [∽ ( 𝒑 ∧ 𝒒 ) ∨ ∽ 𝒓] ⟷ ∽ (𝒑 ∧ 𝒒 ∧ 𝒓)
 EJERCICIOS

1. De la falsedad de (𝑝 → ~𝑞) ∨ (~𝑟 → ~𝑠), deducir el valor de verdad de los esquemas

𝐴 = ~(~𝑞 ∨ ~𝑠) → ~𝑝; 𝐵 = ~(~𝑟 ∧ 𝑠) ↔ (~𝑝 → ~𝑞) y 𝐶 = 𝑝 → ~[𝑞 → ~(𝑠 → 𝑟)]

2. Dada la siguiente tabla,

𝑝 𝑞 𝑝∗𝑞 𝑝#𝑞 𝑝𝜃𝑞
V V F F F
V F V F V
F V V F V
F F V V F
Evaluar lar fórmulas:
a) (𝑉 → 𝐹) 𝜃 (𝐹 # 𝑉)
b) (𝐹 ∧ 𝑉) 𝜃 {𝐹 # (𝐹 ∗ 𝑉)}
c) (𝑝 → 𝑞) 𝜃 (𝑞 # 𝑝)
d) (𝑞 ∧ 𝑟) 𝜃 {𝑞 # (𝑝 ∗ 𝑞)}

3. Si definimos:
𝑝 ∗ 𝑞 ≡ (𝑝 ↔ 𝑞) → (𝑝 ∧ 𝑞)
𝑝#𝑞 ≡ ~𝑝 ∨ ~𝑞
𝑝𝜃𝑞 ≡ ~(𝑝 → 𝑞)

4. Si definimos:
𝑝 ∗ 𝑞 ≡ (𝑝 ↔ 𝑞) → (𝑝 ∧ 𝑞)
𝑝#𝑞 ≡ ~𝑝 ∨ ~𝑞
𝑝𝜃𝑞 ≡ ~(𝑝 → 𝑞)

Evaluar la tabla de verdad de las siguientes proposiciones:

a) (𝑝 ∗ 𝑞)#(𝑞𝜃𝑝)
b) {𝑝 ∗ (𝑞#𝑝)} 𝜃 {𝑞#(𝑝 ∗ 𝑞)}

5. Determinar si A y B son equivalentes, dónde:

𝐴 ≡ (∼ 𝑝 ∨ 𝑞) ∨ (∼ 𝑟 ∨∼ 𝑞) 𝐵 ≡ 𝑝 ∨ (𝑟 ⟶ 𝑞)

6. Determinar si las proposiciones siguientes son equivalentes:

P:"Si Juan aprobó los exámenes de admisión, entonces ingresó a la universidad".
Q:"Juan no aprueba los exámenes de admisión o ingresa a la universidad".

7. De las siguientes proposiciones, cuáles son equivalentes?

A: “Si Luis vive en San Jerónimo entonces Juan no estudia en la Universidad Andina del Cusco".
B: “No es cierto que Luis viva San Jerónimo y que Juan estudie en la Universidad Andina del Cusco".
C: “Luis no vive en San Jerónimo y Juan no estudia en la Universidad Andina del Cusco ".
 LA IMPLICACIÓN
Se dice que una proposición 𝑃(𝑝, 𝑞, . . . ) implica lógicamente una proposición 𝑄(𝑝, 𝑞, . . . ), lo que se
escribe:

𝑃(𝑝, 𝑞, . . . ) → 𝑄(𝑝, 𝑞, . . . )

, cuando están unidos por el condicional " ⟶ ", siendo 𝑃(𝑝, 𝑞, . . . ) antecedente y 𝑄(𝑝, 𝑞, . . . )
consecuente, el resultado es una TAUTOLOGÍA.
A B
p q (𝒑→ 𝒒) ⟶ (~ 𝒑 ∨ 𝒒 )

p q r [[(p → q) ^ (q → r)] ] → (p → r) ∽

8. Determinar la validez o invalidez mediante el uso de una tabla de verdad de siguiente proposición
compuesta:
a) [(𝑝 →∼ 𝑞) ∨ (∼ 𝑞 → 𝑟)] → [(𝑝 ↔ 𝑟)]
b) "Si estudia Contabilidad o estudia Administración, entonces es alumno de la Universidad Andina
del Cusco. Es alumno de la Universidad Andina del Cusco si y sólo si es buen estudiante. Por
consiguiente, si estudia Contabilidad y no estudia Administración, y no es alumno de la
Universidad Andina del Cusco, entonces no es buen estudiante.”
c) “Si A es múltiplo de 4, es divisible por 2, pero A no es divisible por 2, por tanto no
es múltiplo de 4”
d) A : Si a es primo y a no es mayor que 2 entonces a no es múltiplo de 2
1) Si a es múltiplo de 2 entonés a no es primo y no es mayor que 2.
2) Si a és múltiplo de 2 entonces a no es primo o es mayor que 2.’
3) a no es múltiplo de 2 o a no es primo o a es mayor que 2.
¿Cuáles de estas proposiciones son equivalentes a la primera?
e) Simbolizar y analizar el .valor de verdad del siguiente enunciado: “Si un porvenir brillante me
espera, entonces recibiré una gran herencia o estudiare mucho. Pero no recibiré una gran
herencia. En consecuencia, si no estudiaré mucho, entonces no me espera un porvenir brillante o
me es indiferente triunfar en la vida.
 EJERCICIOS

Usar una tabla de verdad para verificar:

∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞

p q ~ ( p ˅ q ) ⟷ ~ p ˄ ~q

V V F V V V V F F F

V F F V V F V F F V

F V F F V V V V F F

F F V F F F V V V V

Paso Número
Las proposiciones son equivalentes, ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞.

a. Usar una tabla de verdad para verificar: 𝑝 ∧ 𝑝 ≡ 𝑝

p

b. Usar una tabla de verdad para verificar: 𝑝 ∨ 𝑝 ≡ 𝑝

p
c. Usar una tabla de verdad para verificar: 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝

d. Usar una tabla de verdad para verificar: 𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟

e. Usar una tabla de verdad para verificar: 𝑝 ∧ 𝑞 ≡ 𝑞 ∧ 𝑝

f. Usar una tabla de verdad para verificar: 𝑝 ∧ (𝑞 ∧ 𝑟) ≡ (𝑝 ∧ 𝑞) ∧ 𝑟

g. Usar una tabla de verdad para verificar:

𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟)

h. Usar una tabla de verdad para verificar: 𝑝 ⟶ 𝑞 ≡∼ 𝑝 ∨ 𝑞

i. Usar una tabla de verdad para verificar:

(𝑝 ⟷ 𝑞) ≡ (𝑝 ⟶ 𝑞) ∧ (𝑞 ⟶ 𝑝)

j. Usar una tabla de verdad para verificar: 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝

k. Usar una tabla de verdad para verificar: 𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝

l. Usar una tabla de verdad para verificar:

(𝑝 ⟶ 𝑞) ≡ (∼ 𝑞 ⟶∼ 𝑝)

m. Usar una tabla de verdad para verificar: ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞

n. Usar una tabla de verdad para verificar: 𝑝 ∧∼ 𝑝 ≡ 𝑓

o. Usar una tabla de verdad para verificar: 𝑝 ∨∼ 𝑝 ≡ 𝑣