Sei sulla pagina 1di 5

LEYES DE LÓGICA MATEMÁTICA

1.- Doble negación.

a). p''p

2.- Leyes conmutativas.

a). (pq)(qp)

b). (pq)(qp)

c). (pq)(qp)

3.- Leyes asociativas.

a). [(pq)r][p(qr)]

b. [(pq)r][p(qr)]

4.- Leyes distributivas.

a). [p(qr)][(pq)(pr)]

b. [p(qr)][(pq)(pr)]

5.- Leyes de idempotencia.

a). (pp)p

b). (pp)p

6.- Leyes de Morgan

a). (pq)'(p'q')

b). (pq)'(p'q')

c). (pq)(p'q')'

b). (pq)(p'q')'

7.- Contrapositiva.

a). (pq)(q'p')

8.- Implicación.

a). (pq)(p'q)

b). (pq)(pq')'

c). (pq)(p'q)

d). (pq)(pq')'
e). [(pr)(qr)][(pq)r]

f). [(pq)(pr)][p(qr)]

9.- Equivalencia

a). (pq)[(pq)(qp)]

10.- Adición.

a). p(pq)

11.- Simplificación.

a). (pq)p

12.- Absurdo

a). (p0)p'

13.- Modus ponens.

a). [p(pq)]q

14.- Modus tollens.

a). [(pq)q']p'

15.- Transitividad del 

a). [(pq)(qr)](pr)

16.- Transitividad del 

a). [(pq)(qr)](pr)

17.- Más implicaciones lógicas.

a). (pq)[(pr)(qs)]

b). (pq)[(pr)(qs)]

c). (pq)[(qr)(pr)]

18.- Dilemas constructivos.

a). [(p q) (r s)] [(p r)(q s)]

b). [(p q) (r s)] [(p r)(q s)]

19.- Diferencia Simétrica


a). p Δ q ≡ ∼ (p q)

b). p Δq≡ (p q) ∼ (p q)

20. Ley de la Condicional Contrarecíproca.

p q ≡ q'  p'

21. Ley de Identidad.

Se denota T= Tautología, F= Contradicción, se tiene:

a). (p T) ≡p

b). (p F) ≡F

c). (p T) ≡ T

d). (p F) ≡ p

22. Ley del Complemento.

a). (p p') ≡ F

b). (p  p') ≡ V

23. Ley de Modus Ponendo Ponens

[(pq)  p] q

24. Ley de Exportación.

[(pq) r)] [p q r)]

25. Ley de Transposición.

a). (pq)  (q'  p')

b). (pq ( q'  p')

26. Leyes ídem potentes

a). p ∨ p ⇔ p

b). p ∧ p ⇔ p

27. Leyes de neutro

a). p ∨ F0 ⇔ p

b). p ∧ T0 ⇔ p

28. Leyes de dominación


a). p ∨ T0 ⇔ T0

b). p ∧ F0 ⇔ F0

29. Leyes inversa

a). p ∨ ¬ p ⇔ T0

b). p ∧ ¬ p ⇔ F0

30. Leyes de absorción

a). p ∨ (p ∧ q) ⇔ p

b). p ∧ (p ∨ q) ⇔ p

REGLAS DE LA INFERENCIA