Leyes de Morgan

Las Proposiciones
Una proposicin es una afirmacin que puede recibir un valor de verdad falso (F),
o bien verdadero (V), pero no ambos a la vez.

Su denotacin generalmente la encontramos con las letras (p, q, r)

Conectores Lgicos
Podemos formar nuevas proposiciones a partir proposiciones dadas mediante el
uso de conectivos lgicos. Algunos de ellos son:
^ y conjuncin
v o disyuncin
-> si , entonces implicacin
<-> si y slo si doble implicacin
no negacin

Leyes de Morgan
Son una parte de la Lgica proposicional, analtica ,y fueron creada por Augustus
de Morgan.

Estas declaran las reglas de equivalencia en las que se muestran que dos
proposiciones pueden ser lgicamente equivalentes.

Las Leyes de Morgan permiten:

El cambio del operador de conjuncin en operador de disyuncin y viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las leyes de
Morgan pueden estar afirmadas o negadas (en todo o en sus partes).

Casos:
(P ^ Q) (P v Q)
Si nos encontramos con una proposicin conjuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin disyuntiva con cada uno de
su miembros negados

(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva totalmente negada, la ley de
Morgan nos permite transformarla en una proposicin conjuntiva con cada uno de
sus miembros negados

(P ^ Q) ( P v Q)
Si nos encontramos con una proposicin conjuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin disyuntiva negada en su totalidad y en
sus miembros.

(P v Q) (P ^ Q)
Si nos encontramos con una proposicin disyuntiva afirmada, la ley de Morgan nos
permite transformarla en una proposicin conjuntiva negada en su totalidad y en
sus miembros
LEYES DMORGAN
Que Permiten ?

Las leyes dicen:

Que son las Leyes de Morgan ?

Las leyes de De Morgan son una parte de la lgica proposicional y

lgebra de Boole, y fueron creadas por
Augustus De Morgan
como Funcionan ?
Estas declaran las reglas de equivalencia en las que se muestran
que dos proposiciones pueden ser lgicamente equivalentes.
El cambio del operador de conjuncin en operador de disyuncin y
viceversa.
Las proposiciones conjuntivas o disyuntivas a las que se aplican las
leyes de Morgan pueden estar afirmadas o negadas (en todo o en
sus partes).
El complemento de la unin de dos conjuntos es la interseccin de
los complementos de cada uno.( A u B ) ' = A ' n B
El complemento de la interseccin de dos conjuntos es la unin de
los complementos de cada uno.( A n B ) ' = A ' u B