LEYES LÓGICAS

Lic. Verónica Loaiza Quilla

Principios Lógicos
 Estos principios sólo es posible si una proposición
interactúa consigo mismas bajo las siguientes leyes
simbólicamente expresivas expresadas a continuación.
1. Ley de identidad
 Una proposición sólo es idéntica a si misma, se
representa así:
 p→p
 p↔p
Principios Lógicos
 2. Ley de no contradicción
 Una proposición sólo puede ser verdadera o falsa a la vez.
Se denota:
 ∼(p∧∼p)
 3. Ley del tercio excluido
 Una proposición o es verdadera o es falsa, no existe una
tercera posibilidad.
 p ᴠ ∼p
Existen muchas otras tautologías igualmente importantes y
se clasifican en dos grupos: Equivalencias notables e
implicaciones notables.
Equivalencias Notables
E1. Ley de involución
Doble negación de una proposición es una afirmación.
 ∼(∼p)≡p
E2. Leyes de idempotencia
Una cadena de conjunciones o disyunciones de una
misma proposición resulta ser tal proposición.
 p∧p≡p
 p∨p≡p
Equivalencias Notables
E3.Leyes conmutativas
 Los componentes de las proposiciones conjuntivas,
disyuntivas (inclusiva o exclusiva) y bicondicionales son
conmutables.
 p∧q≡q∧p
 p∨q≡q∨p
 p△q≡q△p
 p↔q≡q↔p
Equivalencias Notables
 E4.Leyes asociativas
 Esta ley establece la posibilidad de poder agrupar como
quieras una proposición formada por una serie de
conjuntivos, disyuntivos o bicondicionales por signos de
agrupación como veras a continuación:
(p∧q)∧r≡p∧(q∧r)
(p∨q)∨r≡p∨(q∨r)
(p△q)△r≡p△(q△r)
(p↔q)↔r≡p↔(q↔r)
Equivalencias Notables
 E5. Leyes distributivas
 Las propiedades de distribución de los conectivos lógicos
son como sigue:
 p∧(q∨r)≡(p∧q)∨(p∧r)
 p∨(q∧r)≡(p∨q)∧(p∨r)
 p→(q∧r)≡(p→q)∧(p→r)
 p→(q∨r)≡(p→q)∨(p→r)
Equivalencias Notables
 E6. Leyes de Morgan
∼(p∧q)≡∼p∨∼q
∼(p∨q)≡∼p∧∼q
 E7. Leyes condicionales
p→q≡∼p∨q
∼(p→q)≡p∧∼q
Equivalencias Notables
 E8. Leyes bicondicionales
p↔q≡(p→q)∧(q→p)
p↔q≡(p∧q)∨(∼p∧∼q)

 E9. Leyes de absorción

 p∧(p∨q)≡p
 p∧(∼p∨q)≡p∧q
 p∨(p∧q)≡p
 p∨(∼p∧q)≡p∨q
Equivalencias Notables
 E10. Leyes de transposición
 p→q≡∼q→∼p
 p↔q≡∼p↔∼q
 E11. Leyes de exportación
 (p∧q)→r≡p→(q→r)
 (p1∧p2∧p3∧⋯∧pn)→r≡(p1∧p2∧p3∧⋯∧pn−1)→(pn→r)
Equivalencias Notables
 E12. Leyes tautológicas y contradictorias
 Tener en cuenta que T= tautología , F=contradicción
y P= cualquier esquema molecular. Se cumple las siguientes
leyes:
 Para la conjunción
 T∧T≡T
 T∧P≡P
 F∧P≡F
 Para la disyunción inclusiva
 F∨F≡F
 F∨P≡P
 T∨P≡T
Equivalencias Notables
 E13. Propiedad de los elementos neutros para la
tautológica y contradictoria
 p∧F≡F
 F∨T≡T
 p∨T≡T
Equivalencias Notables
 Ejemplos:
 1.Simplificar
 ~𝑝⋁~~~𝑝⋁~~𝑝⋁𝑝
Equivalencias Notables
 2.
Equivalencias Notables
 3.
Equivalencias Notables
 4.
Equivalencias Notables