UNIVERSIDAD ALEJANDRO DE HUMBOLDT

INTRODUCTORIO “E”
ASIGNATURA: RAZONAMIENTO LOGICO
PROFEROR: JESUS PASERIO

Equivalencias Lógicas

Alumna: Adriana Guzmán

C.I: 29.921.589
Sección: MDINT

Caracas, octubre del 2021.

 Equivalencias Lógicas
son
dos fórmulas lógicas son equivalentes si tienen los
Leyes
mismos valores de verdad para todos los posibles
Lógicas valores de verdad de sus componentes atómicos.
Leyes de Relación con la
Leyes de identidad dominación Equivalencia Material Equivalencia lógica
p∧T≡p p∨T≡T
p∨F≡p es Habla que
p∧F≡F
una conectiva lógica que es verdadera si las dos La equivalencia lógica es diferente a la
Leyes de
Leyes de doble proposiciones a las que se aplica tienen el mismo equivalencia material. La equivalencia material
indempotencia
negación valor de verdad y falsa si las proposiciones tienen de las p y q (escrito también p q)
p∨p≡p
﹁ ( ﹁ p)≡p valores de verdad diferentes. ) construida con ellas
p∧p≡p
es una tautología
Así mismo
Leyes de distribución Leyes de asociación
p∨(q∧r)≡(p∨q)∧(p∨r) (p∨q)∨r≡p∨(q∨r) Otra declaración, lo llaman r, en la
p∧(q∨r)≡(p∧q)∨(p∧r) (p∧q)∧r≡p∧(q∧r) Reglas misma lengua como p y q, r expresa la
idea de “p solo si q”.
Leyes de
conmutación Leyes de absorción Inferencia Sustitución
p∨q≡q∨p p∨(p∧q)≡p
p∧q≡q∧p p∧(p∨q)≡p es son

una función que toma reglas de transformación que

Leyes de De Morgan Leyes de negación premisas, analiza su sintaxis, pueden ser aplicadas
﹁ (p∧q)≡ ﹁ p∨ ﹁ q p∨ ﹁ p≡V y devuelve una conclusión (o únicamente a un segmento
﹁ (p∨q)≡ ﹁ p∧ ﹁ q p∧ ﹁ p≡F conclusiones). particular de una expresión.
 Ejercicios
1- (p⟶ r) v (q⟶ r) ⟷ (p^q) ⟶ r

p q r (p⟶ r) (q⟶ r) (p⟶ r) v (q⟶

r)
V V V V V V
V V F F F F
V F V V V V
V F F F V V
F V V V V V
F V F V F V
F F V V V V
F F F V V V
 p Q R (p^q) (p^q) ⟶ r

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

F F F F V

2- p⟶ (r v ∼q) ⟷ ( q⟶∼p) v (∼r⟶∼p) 3-[(∼p v q) v (∼r ^∼p) ⟷ ∼q⟶∼p

a) ∼p v (r v ∼q) b) (∼q v ∼p) v (∼∼r v ∼p) a) ∼p v (∼r^∼p) b) ∼q ⟶∼p

∼p v r v ∼q ∼q v ∼p v r v ∼p ∼p v q ∼ ∼ q v ∼p
∼q v r v ∼p v ∼p q v ∼p q v ∼p
∼q v r v ∼p
∼p v r v ∼q
4- (∼ p v q) ⟷ (p ⟶ q)

p q ∼p (∼ p v q) (p ⟶ q) (∼ p v q) ⟷ (p ⟶
q)
V V F V V V
V F F F F V
F V V V V V
F F V V V V

5- (p → q) ↔ (∼p ^∼q)

p q ∼p ∼q (p → q) (∼p ^∼q) (p → q) ↔ (∼p ^∼q)

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