Konvers subjunksjon

Konvers subjunksjon er en sannhetsfunksjon i setningslogikken. Den konverse subjunksjonen av to utsagn er falsk hvis og bare hvis det første utsagnet er falsk mens det andre utsagnet er sant. Den symbolske skrivemåten for den konverse subjunksjonen av to utsagn A og B er

$\mathbf {A} \leftarrow \mathbf {B}$

og kan uttales som følger:

• «A hvis B,»
• «A følger av B,»
• «A er nødvendig for B.»

Den konverse subjunksjonen er en «baklengs» subjunksjon, dvs. «A hvis B» er ekvivalent med «hvis B, så A», eller symbolsk:

$(\mathbf {A} \leftarrow \mathbf {B} )\Leftrightarrow (\mathbf {B} \rightarrow \mathbf {A} )$.