Академический Документы
Профессиональный Документы
Культура Документы
La negación de la conjunción es la
disyunción de las negaciones.
La negación de la disyunción es la
conjunción de las negaciones.
o informalmente como:
"no (A y B)" es lo mismo que "
(no A) o (no B)"
y también,
Forma de sustitución
Normalmente, las leyes de De Morgan se
muestran en forma compacta como se
muestran arriba, con la negación de la
salida de la izquierda y la de las entradas a
la derecha.
Conjunción
Disyunción
La disyunción de dos proposiciones es
equivalente a la negación de la conjunción
de la negación de P y la negación de Q
La conjunción de la proposición P y la
preposición Q negada es equivalente a la
negación de la disyunción de la negación
de P y Q
La conjunción de la proposición P y Q
negadas es equivalente a la negación de la
disyunción de P y Q
La disyunción de la proposición P y la
preposición Q negada es equivalente a la
negación de la conjunción de la negación
de P y Q
La disyunción de la proposición P y Q
negadas es equivalente a la conjunción de
la disyunción de P y Q
Esto pone de relieve la necesidad de
invertir tanto en las entradas como en las
salidas, así como también cambiar el
operador, haciendo una sustitución.
Teoría de conjuntos y el
álgebra de Boole
donde:
Ingeniería
es el Y lógico
es el O lógico
la barra superior es el NO lógico de lo
que está por debajo de la barra superior.
Historia
La ley lleva el nombre de Augustus De
Morgan (1806-1871)[6] que presentó una
versión formal de las leyes de la lógica
proposicional clásica. La formulación de
De Morgan fue influenciado por la
alegorización de la lógica emprendida por
George Boole, que más tarde consolidó la
afirmación de De Morgan para el hallazgo.
Aunque Aristóteles ya había hecho una
observación similar y eran conocidas por
los lógicos griegos y medievales[7] (en el
siglo XIV, Guillermo de Ockham escribió
las palabras que resultarían leyendo las
leyes a cabo),[8] A De Morgan se le da
crédito de afirmar formalmente las leyes y
de su incorporación al lenguaje de la
lógica. Las leyes de De Morgan pueden ser
probadas fácilmente, e incluso puede
parecer triviales.[9] Sin embargo, estas
leyes son útiles para hacer inferencias
válidas en las pruebas y los argumentos
deductivos.
Prueba informal
El teorema de De Morgan se puede aplicar
tanto a la negación de una disyunción
como a la negación de una conjunción en
la totalidad o parte de una fórmula.
Prueba formal
La prueba que se
realiza por primera probando que
, y luego probando
que obviamente
este procedimiento es válido.
Considérese . Entonces
. Ya que
, entonces
ya sea o . Si ,
entonces , entonces
. De otro modo, si ,
entonces , por lo tanto
. Debido a que esto es
cierto para cualquier arbitrario
, entonces
,y
entonces .
Extensiones
Entonces
Referencias
1. Copi y Cohen
2. Hurley
3. Moore y Parker
4. Boolean Algebra Por R. L. Goodstein.
ISBN 0-486-45894-6
5. 2000 Solved Problems in Digital
Electronics de S. P. Bali
6. DeMorgan’s Theorems en mtsu.edu
7. Bocheński's History of Formal Logic
(Historia de la lógica formal)
8. William of Ockham, Summa Logicae,
parte II, secciones 32 y 33.
9. Augustus De Morgan (1806-1871) por
Robert H. Orr
Enlaces externos
Hazewinkel, Michiel, ed. (2001), «Duality
principle (Principio de dualidad)» ,
Encyclopaedia of Mathematics (en
inglés), Springer, ISBN 978-1556080104
Weisstein, Eric W. «de Morgan's Laws» .
En Weisstein, Eric W. MathWorld (en
inglés). Wolfram Research.
Leyes de De Morgan en PlanetMath.
(en inglés)
Esta obra contiene una traducción total
y basada en derivada de De Morgan's
laws de Wikipedia en
inglés, concretamente de esta versión,
publicada por sus editores bajo la
Licencia de documentación libre de
GNU y la Licencia Creative Commons
Atribución-CompartirIgual 3.0
Unported.]