Adjunción oposta

Archiu:Venn0010.svg

Adjunción oposta

Plantilla:Conectivas llògiques En raonament formal, la adjunción oposta o negació de l'implicació oposta ( $\nleftarrow$ ) entre dos proposicions, a i b, és un conector llògic que el seu valor de la veritat resulta en verdader només si la condició a és falsa i la condició b és verdadera, i és fals de qualsevol atre cas. Existixen diferents contexts on s'utilisa l'implicació oposta i pot expressar-se:

$a\nleftarrow b;\mathrm{\neg }(a\leftarrow b);\mathrm{\neg }a\wedge b;b-a$

Eixemple en llenguage natural

• No és assessí, pero sí còmpliç.
• No és A pero sí B.
• A$\nleftarrow$B

Vore també

• Àlgebra booleana
• Llògica proposicional
• Porta llògica
• Implicació
• Operador nivell de bits

Bibliografia

• Nachbin, Leopoldo (1986). Àlgebra elemental. Rochester, Nova York: Eva V. Chesnau. Edició de la OEA, traduïda a l'espanyol per César E. Silva.
• Llibres relacionats en format PDF