Diferencia entre revisiones de «Disyunción opuesta»

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 enes ''falso'' de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción opuesta.

* [[DisyunciónConjunción Opuesta]] <math> \uparrow downarrow </math>

* [[AdjunciónImplicación Opuesta]] <math> \nleftarrowleftarrow </math>

* [[Adjunción lógica | AdjunciónImplicación]] <math> \nrightarrowrightarrow </math>

* [[conjuncióndisyunción lógica | ConjunciónDisyunción]] <math> \andor </math>

* [[ConjunciónDisyunción Opuesta]] <math> \downarrowuparrow </math>

* [[ImplicaciónAdjunción Opuesta]] <math> \leftarrow nleftarrow </math>

* [[ImplicaciónAdjunción lógica | Adjunción]] <math> \rightarrow nrightarrow </math>

* [[disyunciónconjunción lógica | DisyunciónConjunción]] <math> \or and </math>