Injunksjon

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»):

$(\mathbf {A}$ NOR $\mathbf {B} )\Leftrightarrow \neg (\mathbf {B} \lor \mathbf {A} )$.