Diferencia entre revisiones de «Disyunción opuesta»
Contenido eliminado Contenido añadido
mSin resumen de edición |
|||
| Línea 69: | Línea 69: | ||
{{navegación |
{{navegación |
||
| |
|name = Conectores Lógicos |
||
| |
|title = [[conector lógico|Conectores Lógicos]] |
||
| |
|imagestyle = padding:0.1em 15px 0.65em 0; |
||
| |
|image = [[File:Logical connectives Hasse diagram.svg|100px|alt=Hasse diagram of the 16 logical connectives|link=Hasse diagram]] |
||
| |
|liststyle = padding-left:185px<!--(should match image area's width)-->; |
||
|group1 = |
|group1 = |
||
|list1 = [[Tautología]] |
|list1 = [[Tautología]] <math> \top </math> |
||
|group2 = |
|group2 = |
||
|list2 = |
|list2 = |
||
* [[Conjunción Opuesta]] |
* [[Conjunción Opuesta]] <math> \uparrow </math> |
||
* [[Implicación Opuesta]] |
* [[Implicación Opuesta]] <math> \leftarrow </math> |
||
* [[Implicación]] |
* [[Implicación]] <math> \rightarrow </math> |
||
* [[disyunción lógica |
* [[disyunción lógica|Disyunción]] <math> \or </math> |
||
|group3 = |
|group3 = |
||
|list3 = |
|list3 = |
||
* [[negación lógica |
* [[negación lógica|Negación]] <math> \neg </math> |
||
* [[disyunción exclusiva |
* [[disyunción exclusiva|Desigualdad Material]] <math> \nleftrightarrow </math> |
||
* [[Equivalencia Material]] |
* [[Equivalencia Material]] <math> \leftrightarrow </math> |
||
* [[Afirmación]] |
* [[Afirmación]] |
||
|group4 = |
|group4 = |
||
|list4 = |
|list4 = |
||
* [[Disyunción |
* [[Disyunción Opuesta]] <math> \downarrow </math> |
||
* [[Adjunción Opuesta]] |
* [[Adjunción Opuesta]] <math> \nleftarrow </math> |
||
* [[Adjunción lógica |
* [[Adjunción lógica|Adjunción]] <math> \nrightarrow </math> |
||
* [[conjunción lógica |
* [[conjunción lógica|Conjunción]] <math> \and </math> |
||
|group5 = |
|group5 = |
||
|list5 = [[Contradicción]] |
|list5 = [[Contradicción]] <math> \bot </math> |
||
}} |
}} |
||
[[Categoría:Lógica proposicional]] |
[[Categoría:Lógica proposicional]] |
||
Revisión del 17:26 8 ene 2016
| Disyunción Opuesta | |
|---|---|
 Diagrama de Venn de |
 Diagrama de Venn de |
| Nomenclatura | |
| Lenguaje formal | A ni B |
| Operador booleano | |
| Operador de conjuntos | |
| Puerta Lógica | |
 | |
| Tabla de la Verdad | |
En lógica proposicional, una disyunción opuesta ( ) (también conocida cómo la negación conjunta o flecha de Pierce[1]) entre dos proposiciones es un conector lógico cuyo valor de la verdad resulta en cierto sólo si ambas proposiciones son falsas, y es falso de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta.
En lenguajes formales, la palabra "ni" se utiliza en español para simbolizar una disyunción opuesta.
En electrónica, una puerta NOR es una puerta lógica que implementa la disyunción opuesta.
Definición
Símbolo
Propiedades
Operación con bits
Véase también
Enlaces externos
Bibliografía
Nota
- ↑ Ségun Charles Sanders Peirce
