Professional Documents
Culture Documents
Leyes de Morgan
de donde se deducen las dos inclusiones.
Concepto:
Leyes de
Morgan
Leyes de Morgan. Declarar que la suma de n variables preposicionales globalmente
negadas (o invertidas) es igual al producto de las n variables negadas individualmente y que
inversamente, el producto de n variables proposicionales
globalmente negadas es igual a la suma de las n variables negadas
individualmente. Demostracin formal si y solo si y . para cualquier x: Por lo tanto
inclusin: Con proposiciones. La prueba utiliza la asociatividad y la distributividad de las
leyes y . Verdad Si verdad por n.
Universo
Las leyes de De Morgan son una parte de la Lgica proposicional y analtica, y fueron
creadas por Augustus De Morgan (Madurai, 1806-Londres, 1871) La realidad es producto
del azar, y al azar en realidad se producen infinidad de universos, que a su vez en
Probabilidad Imposible se pueden clasificar en lneas generales en dos tipos de universos,
universos de sujetos u opciones infinitos, y universos de opciones limitadas.
Un universo es un conjunto de N elementos que forman una realidad susceptible de estudio
estadstico , pudindose definir a los N elementos como sujetos u opciones , en funcin del
tipo de naturaleza de los elementos que forman N, una naturaleza cuya cualidad cuantitativa
residir en la forma de medirse su magnitud. En funcin del tipo de universo al que
pertenezca N, los elementos de N se pueden definir como sujetos en tanto que opciones, o
se pueden definir como opciones limitadas a priori.
A: Las vocales
B: Las consonantes
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
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 sus 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
Fuentes
Consultado en Leyes_de_De_Morgan
Consultado en leyes-de-morgan
Revisado en las-leyes-de-de-morgan-son-una-parte-de-la-lgica-proposicional-yanaltica