Está en la página 1de 1

Equivalencias en Lgica Proposicional

Leyes ppV p p F pFp pVp pVV pFF ppp ppp ( p) p pqqp pqqp p (q r) (p q) r p (q r) (p q) r p (q r) (p q) (p r) p ( q r) (p q) (p r) (p q) p q (p q) p q pqpq p q (pq) (qp)

Nombre Ley de exclusin del trmino medio Ley de contradiccin Leyes de identidad Leyes de dominacin Leyes de idempotencia Ley de doble negacin Leyes conmutativas Leyes asociativas Leyes distributivas Leyes de De Morgan Definicin de la implicacin Definicin de la coimplicacin

También podría gustarte