1wd1ds

Páginas: 2 (394 palabras) Publicado: 25 de noviembre de 2014
República Bolivariana de Venezuela
Ministerio Del Poder Popular Para La Educación Universitaria
Instituto Universitario De Tecnología De Administración industrial
Cátedra: LógicaLEYES DE LÓGICA







Integrante: Gabriel Ramones. C.I: 26.265.564





Puerto la Cruz 23 de Junio del 2014

TABLA DE CONTENIDOIntroducción


























Leyes de Morgan
Son una parte de la Lógica proposicional, analítica ,y fueron creada por Augustus de Morgan.
Estas declaran lasreglas de equivalencia en las que se muestran que dos proposiciones pueden ser lógicamente equivalentes.

Las Leyes de Morgan permiten:
El cambio del operador de conjunción en operador dedisyunción 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).

Primera Ley El complementario dela unión de dos conjuntos es igual a la intersección de los complementarios de dichos conjuntos.


Es decir, todo elemento que pertenece al complementario de la unión pertenece a la intersecciónde los complementarios de los conjuntos
Recíprocamente

Es decir, todo elemento que pertenezca a la intersección de los complementarios de dos conjuntos pertenece al complementario de la unión dedichos conjuntos.
De ambas inclusiones deducimos que ambos conjuntos son iguales
Segunda Ley El complementario de la intersección de dos conjuntos es igual a la unión de los complementarios de dichosconjuntos.

La demostración es lógicamente análoga a la anterior.

de donde se deducen las dos inclusiones.
LEY CONMUTATIVA
Esta ley, no es válida para la implicación, pero sí para conjunción ypara la disyunción. Una conjunción es afirmar que se dan dos cosas a la vez, de modo que el orden de sus elementos no cambia este hecho. Igualmente, una disyunción es presentar una elección entre...
Leer documento completo

Regístrate para leer el documento completo.

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS