Diferencia entre revisiones de «Disyunción opuesta»

12 bytes añadidos ,  hace 6 años
Corrijo
Sin resumen de edición
(Corrijo)
! 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 \uparrowdownarrow 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 \uparrowdownarrow B \uparrowdownarrow C</math>
|-
| colspan="2" style="background:lightblue;text-align:center;font-size:9pt" | Nomenclatura
| 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 \uparrowdownarrow B</math>
|-
| colspan="2" style="background:lightblue;text-align:center;font-size:9pt;text-align:center;" | Tabla de la Verdad
\begin{array}{|c|c||c|}
\hline
a & b & a \uparrowdownarrow b \\
\hline
F & F & CV \\
CV & F & F \\
F & CV & F \\
CV & CV & F \\
\hline
\end{array}
 
 
En [[deducción | razonamiento formal]], una '''disyunción opuesta''' ( <math> \uparrowdownarrow </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.
9794

ediciones