Injunksjon
Fra Wikipedia, den frie encyklopedi
Injunksjon er en grunnleggende sannhetsfunksjon i setningslogikken (latin in- = «ikke-, u-», junctio = «forbindelse»). Injunksjonen av to utsagn er sann hvis og bare hvis begge disse utsagnene er falske. Det fins ikke noe allment akseptert symbol for injunksjonen av to utsagn A og B, men ofte skriver man
- A NOR B
og uttaler dette som «verken A eller B» (NOR etter engelsk neither–nor = «verken–eller»).
Injunksjon er negasjonen av den inklusive disjunksjonen («ikke eller»):
NOR 
.
|
Sannhetstabell (0 = falsk, 1 = sant):
|
||||||||||||||||||||||||||||||||||||||||
|
Sannhetsfunksjoner: abjunksjon | adjunksjon | alternativ | antivalens | bisubjunksjon | disjunksjon | eksklusjon | ekvijunksjon | ekvivalens | implikasjon | injunksjon | konjunksjon | kontrajunksjon | kontravalens | negasjon | subjunksjon |
