PRINCIPALES LEYES LÓGICAS

1. Ley de Identidad.- ”Una proposición solo son idénticos así mismo”

p→ p
p↔ p

2. Ley no Contradicción.- “Una proposición no puede ser verdadero y falso a las vez”
( p ∧ p)

3. Ley del Tercio excluido.- ”Una proposición es verdadero o es falso no hay una
tercera posibilidad”
p∨ p
p∧ p

4. Ley de la doble negación.- “La negación de la negación es una afirmación”

∼(∼ p) ≡ p

5. Ley de la Idempotencia
a) p ∧ p ≡ p
b) p ∨ p ≡ p

6. Leyes Conmutativas
a) ( p ∧q) ≡(q ∧ p)
b) ( p ∨q) ≡(q ∨ p)
c) p ↔q ≡ q ↔ p

7. Leyes Asociativas.
a) p ∧( q ∧r )≡( p ∧q)∧r
b) p ∨( q ∨r )≡( p ∨q)∨r
c) p ↔(q ↔ r) ≡(p ↔ q) ↔r

8. Leyes Distributivas.
a) p ∧( q ∨r )≡( p ∧q)∨¿)
b) p ∨( q ∧r )≡( p ∨q)∧¿)
c) p →(q ∧r ) ≡( p → q)∧ ¿)
d) p →(q ∨r )≡( p → q)∨ ¿)

9. Leyes de Morgan.
a) ∼( p ∧ q)≡ ∼ p ∨∼ q
b) ∼( p ∨ q)≡ ∼ p ∧∼ q

10. Leyes del Condicional

a) p →q ≡ ∼ p ∨ q
b) ( p → q)≡ p∧ q

11. Las leyes del Bicondicional.

a) ( p ↔ q)≡( p →q)∧(q → p)
b) ( p ↔ q)≡( p ∧q) ∨¿
12. Leyes de la Absorción.
a) p ∧( p ∨ q)≡ p
b) p ∧(∼ p ∨ q)≡ p ∧ q
c) p ∨( p ∧ q)≡ p
d) p ∨(∼ p ∧ q)≡ p ∨ q

13. Leyes de Transposición

a) ( p → q)≡∼ q →∼ p
b) ( p ↔ q)≡ q ↔ p

14. Leyes de Exportación

a) ( p ∧q) → r ≡ p →(q →r )
b) ( p1 ∧ p2 ∧ … p n)→r ≡( p1 ∧ p 2 ∧ … p n−1)→( p n → r )

15. Elementos Neutros para la Conjunción y Disyunción.

a) p ∨ F ≡ p
b) p ∨V ≡V
c) p ∨∼ p≡ V
d) p ∧V ≡ p
e) p ∧∼ p≡ F
f) p ∧ F ≡ F
g) p → p ≡V
h) p ↔ p ≡V

16. También
a) ( p ∨q) ∧(p ∨ ∼ q)≡ p
b) ( p ∧q) ∨(p ∧ ∼ q)≡ p

SIMPLIFICAR LOS SIGUIENTES ESQUEMAS MOLECULARES:

Ejemplo: 1 (∼ p ∧q) →(q → p)

≡∼ ( p ∧ q)∨( q → p) 10 a
≡( p ∨ q) ∨(q → p) 9a
≡( p ∨ q) ∨(∼ q ∨ p) 10a
≡( p ∨ q) ∨( p ∨∼ q ) 6b
≡( p ∨∼q) 5b

Ejemplo: 2 [( p ∨∼ q)∧q ]→ p
≡ [( p ∨ q) ∧q ]∨ p 10a
≡[∼( p ∨∼q)∨∼ q ]∨ p 9a
≡[∼( p ∨∼q)]∨( p ∨ ∼q) 7b
≡V 3

Ejemplo 3 ∼ p ↔(p → ∼ q)
∼ p ↔( p → ∼q) ≡ p ↔( p ∨ q) 10a
≡ [∼ p ∧ ( ∼ p ∨∼ q ) ] ∨[∼∼ p ∨∼ (∼ p ∨ ∼q)] 11b
≡ [∼ p ∧ ( ∼ p ∨∼ q ) ] ∨[ p ∨( p ∧q)] 4,9b
≡∼ p ∨ p 12 a,c