Está en la página 1de 1

Equivalencias en Lgica Proposicional

Leyes
ppV

Nombre
Ley de exclusin del trmino medio

p p F

Ley de contradiccin

pFp

Leyes de identidad

pVp
pVV

Leyes de dominacin

pFF
ppp

Leyes de idempotencia

ppp
( p) p

Ley de doble negacin

pqqp

Leyes conmutativas

pqqp
p (q r) (p q) r

Leyes asociativas

p (q r) (p q) r
p (q r) (p q) (p r)

Leyes distributivas

p ( q r) (p q) (p r)
(p q) p q

Leyes de De Morgan

(p q) p q
pqpq

Definicin de la implicacin

p q (pq) (qp)

Definicin de la coimplicacin

También podría gustarte