LÓGICA PROPOSICIONAL “UNIVERSIDAD “ALAS PERUANAS”

PRINCIPALES LEYES LÓGICAS O TAUTOLÓGICAS

LOS TRES PRINCIPIOS LÓGICOS CLASICOS

01. Ley de identidad.
p⇒p
p⇔p

02. Ley de no contradicción.

∼ ( p ∧ ∼p ) “una proposición no puede ser verdadero y falso a la vez”

03. Ley del tercio excluido.

p ∼p “una proposición es verdadero o falso no hay una tercera posibilidad”
EQUIVALENCIAS NOTABLES
01. Ley de la doble negación. 08. Leyes de la Condicional.
∼ ( ∼ p) ≡ p “la negación de la negación a) p ⇒ q ≡ ∼ p q
es una afirmación ” b) ∼ ( p ⇒ q ) ≡ p ∼q
09. Leyes de la Bicondicional.
02. Ley de la Idempotencia.
a) p ⇔ q ≡ ( p ⇒ q ) (q⇒p)
a) p ∧ p ≡ p
b) p ⇔ q ≡ ( p q) ( ∼p ∼q )
b) p p ≡ p
c) p ⇔ q ≡ ∼ ( p ∆ q )
10. Leyes de la Absorción.
03. Leyes Conmutativas.
a) p (p q) ≡p
a) p ∧ q ≡ q ∧ p
b) p (p q) ≡p
b) p q≡q p
c) p (∼p q) ≡p q
c) p ⇔ q ≡ q ⇔ p
d) p (∼p q) ≡ p q
d) p ∆ q ≡ q ∆ p

04. Leyes Asociativas. 11. Leyes de Transposición.

a) p (q r) ≡(p q) r a) p ⇒ q ≡ ∼ q ⇒ ∼ p
b) p (q r) ≡(p q) r b) p ⇔ q ≡ ∼q ⇔∼p
c) p ⇔ ( q ⇔ r ) ≡ ( p ⇔ q ) ⇔ r
d) p ∆ ( q ∆ r ) ≡ ( p ∆ q ) ∆ r
05. Leyes Distributivas. 12. Elementos Neutros para la
a) p (q r)≡(p q) (p r) Conjunción y Disyunción.
b) p (q r)≡(p q) (p r) a) T p≡p e) T T≡T
c) p ⇒ ( q r)≡(p⇒q) (p⇒r) b) T p≡T f) T V F ≡ T
d) p ⇒ ( q r)≡(p⇒q) (p⇒r) c) F p≡F g) T F≡F
d) F p≡p h) F F≡F
06. Leyes de Morgan. 13. Leyes de Exportación.
a) ∼ ( p q)≡∼p ∼q a) ( p q)⇒r ≡ p⇒(q⇒r)
b) ∼ ( p q)≡∼p ∼q b) ( p1 p2 p3 ... pn ) ⇒ q
≡ ( p1 p2 p3 ... pn-1 ) ⇒(pn ⇒q )
07. Leyes de Identidad 14. Leyes del Complemento