LEYES LÓGICAS

Denominados también principios lógicos son formas proposicionales tautológicas de

carácter general pues a partir de estas se puede generar otra tautologías. Asi tenemos:
 Principios Lógicos Clásicos:

1) Ley de identidad. “Una proposición es idéntica a sí misma”

pp
pp
2) Ley de la no contradicción. “Una proposición no puede ser verdadera y falsa a
la vez”
(p p)
3) Ley del tercio excluido. “Una proposición es verdadera o es falsa no hay terceras
posibilidades”
pp

 Equivalencias notables:

1) Ley de la doble negación.

(p)p
2) Ley de la Idempotencia.
a. ppp b. ppp
3) Leyes Conmutativas.
a. (pq)(qp) b. (pq)(qp) c. pqqp
4) Leyes Asociativas.
a. p(qr)(pq)r b. p(qr)(pq)r c. p(qr)(pq)r
5) Leyes Distributivas.
a. p(qr)(pq)(pr) b. p(qr)(pq)(pr)

c. p(qr)(pq)(pr)

d. p(qr)(pq)(pr)
6) Leyes de Morgan.

a. (pq)pq b. (pq)pq
7) Leyes del Condicional.

a. pqpq b. (pq)pq
8) Las Leyes del Bicondicional.

a. (pq)(pq)(qp) b. (pq)(pq)(pq)
9) Leyes de Absorción.
a. p(pq)p b. p(pq)pq
c. p(pq)p d. p(pq)pq
10) Leyes de Transposición.

a. (pq)qp b. (pq)qp
11) Leyes de Exportación.
a. (pq)rp(qr)
12) Elementos neutros para la Conjunción y Disyunción.
a. ppp, V neutro de la conjunción.
b. pFp, F neutro de la disyunción.