Abjunksjon

Kildeløs: Denne artikkelen mangler kildehenvisninger, og opplysningene i den kan dermed være vanskelige å verifisere. Kildeløst materiale kan bli fjernet. Helt uten kilder. (10. okt. 2015)

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:

${\displaystyle \mathbf {A} \land \neg \mathbf {B} }$.

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