Abjunksjon

Abjunksjon er en sannhetsfunksjon i setningslogikken (latin ab = «fra», junctio = «forbindelse»).
Abjunksjonen av to utsagn A og B er sann hvis og bare hvis det første, men ikke det andre av utsagnet er sant.
Den uttales som «A, men ikke B.»
Abjunksjonen kan uttrykkes gjennom og og ikke:
.

Abjunksjon er ikke kommutativ: «A, men ikke B» er altså ikke ekvivalent med den konverse abjunksjonen «ikke A, men B».

Logikk