- LEYES DE MORGAN (DM)

Esta ley permite transformar una disyuncin en una conjuncin, y viceversa,

es decir, una conjuncin en una disyuncin. Cuando se pasa de una a otra, se
cambian los valores de afirmacin y negacin de los trminos de la
disyuncin/conjuncin as como de la propia operacin en conjunto, como podemos
observar aqu:

pqpVq

(p V q) (p q

Aplicacin de leyes lgicas para demostrar y argumentar.

Cuando se tienen varias premisas -o proposiciones que se sabe son

verdaderas- y se quiere sacar las conclusiones derivadas de ellas, se pueden aplicar
una o varias leyes lgicas, en forma repetida si fuere necesario, para construir
nuevas proposiciones simples o compuestas que sean verdaderas y que conduzcan
a conclusiones tiles en forma totalmente lgica.

Idempotencia
p^p=p
pvp=p
3. Asociativa
p ^ (q ^ r) = (p ^ q) ^ r
p v (q v r) = (p v q) v r
4. Commutativa

Esta ley, no es vlida para la implicacin, pero s para conjuncin y para la

disyuncin. Una conjuncin es afirmar que se dan dos cosas a la vez, de modo que
el orden de sus elementos no cambia este hecho. Igualmente, una disyuncin es
presentar una eleccin entre dos cosas, sin importar en qu orden se presente esta
eleccin. As pues,

p q s y slo s q p p y q equivale a q y p

p V q s y slo s q V p p q equivale a q p

p^q=q^p
pvq=qvp

Distributiva
p ^ (q v r) = (p ^q) v (p ^ r)
p v (q ^ r) = (p v q) ^ (p v r)