Adjunción llògica

Archiu:Venn0100.svg

Adjunción llògica

Plantilla:Conectivas llògiques En raonament formal, la adjunción Llògica o negació de l'implicació ( $\nrightarrow$ ) 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 verdader i la condició b és falsa, i és fals de qualsevol atre cas. Existixen diferents contexts on s'utilisa l'implicació oposta i pot expressar-se:

$a\nrightarrow bu;\mathrm{\neg }(a\to b);a\wedge \mathrm{\neg }b;a-b$

Eixemple en llenguage natural

• És sospitós pero no culpable.
• És A pero no B.
• A$\nrightarrow$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.