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».
Setningslogikk | ||||||||||||||||||||||||||||||||||||||||
Sannhetstabell (0 = usant, 1 = sant):
| ||||||||||||||||||||||||||||||||||||||||
Sannhetsfunksjoner: abjunksjon | inklusiv disjunksjon (adjunksjon) | bisubjunksjon (ekvijunksjon,ekvivalens) | eksklusjon | subjunksjon (implikasjon) | injunksjon | konjunksjon | eksklusiv disjunksjon (alternativ, antivalens, kontrajunksjon, kontravalens) | negasjon |