|
|
|
En [[Razonamientológica deductivo | razonamiento formalproposicional]], una '''disyunción opuesta''' ( <math> \downarrow </math> ) (también conocida cómo la '''flecha de Pierce'''<ref>Ségun [[Charles Sanders Peirce]]</ref> ó '''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.
|
