Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
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