Property |
Value |
dbo:abstract
|
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como: 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, "no (A o B)" es lo mismo que "(no A) y (no B)" Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones P y Q, de esta forma: donde:
* ¬ es el operador de negación (NO)
* es el operador de conjunción (Y)
* es el operador de disyunción (O)
* ⇔ es un símbolo metalógico que significa "puede ser reemplazado en una prueba lógica" Entre las aplicaciones de las normas se incluyen la simplificación de expresiones lógicas en programas de computación y diseño de circuitos digitales. Las leyes de De Morgan son un ejemplo de concepto más general de dualidad matemática. (es)
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como: 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, "no (A o B)" es lo mismo que "(no A) y (no B)" Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones P y Q, de esta forma: donde:
* ¬ es el operador de negación (NO)
* es el operador de conjunción (Y)
* es el operador de disyunción (O)
* ⇔ es un símbolo metalógico que significa "puede ser reemplazado en una prueba lógica" Entre las aplicaciones de las normas se incluyen la simplificación de expresiones lógicas en programas de computación y diseño de circuitos digitales. Las leyes de De Morgan son un ejemplo de concepto más general de dualidad matemática. (es)
|
dbo:wikiPageID
| |
dbo:wikiPageLength
| |
dbo:wikiPageRevisionID
| |
prop-es:id
|
- 2308 (xsd:integer)
- p/d034130 (es)
|
prop-es:título
|
- Leyes de De Morgan (es)
- Duality principle (es)
- de Morgan's Laws (es)
- Leyes de De Morgan (es)
- Duality principle (es)
- de Morgan's Laws (es)
|
prop-es:url
|
- DeMorgansLaws (es)
- deMorgansLaws (es)
- DeMorgansLaws (es)
- deMorgansLaws (es)
|
dct:subject
| |
rdfs:comment
|
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como: 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, "no (A o B)" es lo mismo que "(no A) y (no B)" donde: (es)
- En lógica proposicional y álgebra de Boole, las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación. Las reglas se pueden expresar en español como: 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, "no (A o B)" es lo mismo que "(no A) y (no B)" donde: (es)
|
rdfs:label
|
- Leyes de De Morgan (es)
- Leyes de De Morgan (es)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:wikiPageRedirects
of | |
is prop-es:conocidoPor
of | |
is owl:sameAs
of | |
is foaf:primaryTopic
of | |