Diferencia entre revisiones de «Disyunción opuesta»

← Ir a diferencia anterior Ir a siguiente diferencia →

Contenido eliminado Contenido añadido

En renglón

Revisión del 17:49 1 dic 2015

Disyunción Opuesta $\uparrow$
Diagrama de Venn de $\scriptstyle A\downarrow B$	Diagrama de Venn de $\scriptstyle A\downarrow B\downarrow C$
Nomenclatura
Lenguaje formal	A ni B
Operador booleano
Operador de conjuntos
Puerta Lógica
$\scriptstyle A\downarrow B$
Tabla de la Verdad
${\begin{array}{\|c\|c\|\|c\|}\hline a&b&a\downarrow b\\\hline F&F&V\\V&F&F\\F&V&F\\V&V&F\\\hline \end{array}}$

En razonamiento formal, una disyunción opuesta ( $\downarrow$ ) (también conocida cómo la flecha de Pierce † ó negación conjunta) 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

Lógica de enunciados

Bibliografía

Nachbin, Leopoldo (1986). Álgebra elemental. Rochester, Nueva York: Eva V. Chesnau. Edición de la OEA, traducida al español por César E. Silva.

Libros relacionados en formato PDF

@@ Línea 2: / Línea 2: @@
 ! colspan="2" style="background:lightblue;width:200px;font-size:10pt" | Disyunción Opuesta   <math> \uparrow </math>
 |-
-| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn1000.svg|100px]]<br />[[Diagrama de Venn]] de <math>\scriptstyle A \uparrow B</math>
+| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn1000.svg|100px]]<br />[[Diagrama de Venn]] de <math>\scriptstyle A \downarrow B</math>
-| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn 1000 0000.svg|100px]]<br />Diagrama de Venn de <math>\scriptstyle A \uparrow B \uparrow C</math>
+| colspan="1" style="text-align:center;font-size:7pt" | [[File:Venn 1000 0000.svg|100px]]<br />Diagrama de Venn de <math>\scriptstyle A \downarrow B \downarrow C</math>
 |-
 | colspan="2" style="background:lightblue;text-align:center;font-size:9pt" | Nomenclatura
@@ Línea 15: / Línea 15: @@
 | colspan="2" style="background:lightblue;text-align:center;font-size:9pt;text-align:center;" | Puerta Lógica
 |-
-| colspan="2" style="text-align:center;font-size:7pt" | [[File:NOR ANSI Labelled.svg]]<br /><math>\scriptstyle A \uparrow B</math>
+| colspan="2" style="text-align:center;font-size:7pt" | [[File:NOR ANSI Labelled.svg]]<br /><math>\scriptstyle A \downarrow B</math>
 |-
 | colspan="2" style="background:lightblue;text-align:center;font-size:9pt;text-align:center;" | Tabla de la Verdad
@@ Línea 22: / Línea 22: @@
    \begin{array}{|c|c||c|}
       \hline
-      a & b & a \uparrow b \\
+      a & b & a \downarrow b \\
       \hline
-      F & F & C \\
+      F & F & V \\
-      C & F & F \\
+      V & F & F \\
-      F & C & F \\
+      F & V & F \\
-      C & C & F \\
+      V & V & F \\
       \hline
    \end{array}
@@ Línea 35: / Línea 35: @@
-En [[deducción | razonamiento formal]], una '''disyunción opuesta''' ( <math> \uparrow </math> ) (también conocida cómo la '''flecha de Pierce''' † ó '''negación conjunta''') 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 [[deducción | razonamiento formal]], una '''disyunción opuesta''' ( <math> \downarrow </math> ) (también conocida cómo la '''flecha de Pierce''' † ó '''negación conjunta''') 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.

v t e Conectores Lógicos

Tautología $\top$

Conjunción Opuesta $\downarrow$ Implicación Opuesta $\leftarrow$ Implicación $\rightarrow$ Disyunción $\lor$

Negación $\neg$ Desigualdad Material $\nleftrightarrow$ Equivalencia Material $\leftrightarrow$ Afirmación

Disyunción Opuesta $\uparrow$ Adjunción Opuesta $\nleftarrow$ Adjunción $\nrightarrow$ Conjunción $\land$

Contradicción $\bot$