La disyunción opuesta(↓)

En lógica proposicional, la disyunción opuesta, también conocida cómo la negaciónconjunta o

flecha de Peirce (por su simbolización ↓ debida a Charles Sanders Peirce), es una conectiva
lógica cuyo valor de verdad resulta en verdadero sólo si ambas proposiciones son falsas, y falso
de cualquier otra forma. Existen diferentes contextos dónde se utiliza la lógica de disyunción
opuesta.

Disyunción opuesta

Operador de conjuntos

Puerta

Diagrama de Venn de la conectiva

Nomenclatura

Lenguaje enguaje formal

p↓q

Puerta lógica

Tabla de verdad

p q p↓q
V V F

V F F

F V F

F F V
En lenguajes naturales, la palabra «ni» se utiliza en español para simbolizar la disyunción
opuesta. Por ejemplo en la oración «ni llueve ni hace frío».

Conjunción opuesta
negación de la conjunción lógica

En razonamiento formal, una conjunción opuesta ( ↑ ) (también conocida como el trazo de

Sheffer o negación alternativa) entre dos proposiciones es un conector lógico cuyo valor de la
verdad resulta en falso solo si ambas proposiciones son ciertas, y en cierto de cualquier otra
forma. La conjunción opuesta es la negación de la conjunción lógica. Existen diferentes
contextos dónde se utiliza la lógica de conjunción opuesta.

Conjunción opuesta

Diagrama de Venn de la conectiva

Nomenclatura

Lenguaje natural

No p y q

Lenguaje formal

p↑q

Operador booleano

~(p^q)

Operador de conjuntos

(p^q)′

Puerta lógica
Tabla de verdad

p q p↑q
V V V

V F F

F V F

F F F

En lenguajes naturales, la palabra "no y" se utiliza en español para simbolizar una conjunción
opuesta.

En electrónica, una puerta NAND es una puerta lógica que implementa la conjunción opuesta

Implicación opuesta
En razonamiento formal, la implicación opuesta (← ) entre dos proposiciones es un conector
lógico cuyo valor de la verdad resulta en falso sólo si la implicación es falsa mientras la
condición es cierta, y en cierto de cualquier otra forma. Existen diferentes contextos dónde se
utiliza la implicación opuesta.

Implicación opuesta

Diagrama de Venn de la conectiva

Nomenclatura

Lenguaje natural

p si q

p solo si q

Lenguaje formal
 p←q

Tabla de verdad

p q p←q

V V V

V F V

F V F

F F V

En otras palabras, no se da p sin q. Siendo q condición necesaria para que se de p.

Ejemplo: No hay vida sin atmosfera.

Vida (p) Atmosfera (q)

(p←q)