DEMOSTRACION1:TEXTO E IMAGEN

LEYES LOGICAS NOTABLES

En muchos casos,  necesitamos   usar  una  proposición equivalente a la que tenemos entre manos... Y no siempre es fácil realizar tablas de verdad si se tienen muchas proposiciones.

Por eso, necesitamosconocer algunas equivalencias notables entre proposiciones,que llamaremos LEYES LOGICAS:

Ley	Nombre de la Ley
p Ú Ø p Û  V p Ù Ø p Û  F	Tercio excluido o de Dicotomía de Contradicción
p Ù F  Û F p Ú V  Û V	de Dominación
Ø (Ø p) Û p	de Doble Negación
p Ù V  Û p p Ú F  Û p	Leyes de identidad o Elemento Neutro

 

Ø (p Ù q)  Û  Øp  Ú  Ø q Ø (p Ú q)  Û   Øp  Ù Ø q	de De Morgan
p Ù (p Ú q) Û p p Ú (p Ù q) Û p	de Absorción
p Ù q  Û q Ù p	Conmutativa
(p Ù q)Ùr Û pÙ(q Ù r)	Asociativa
p Ù(q Ú r) Û (pÙq) Ú (pÙr)	Distributiva