Och-eliminering

Satslogiska härledningsregler
Modus ponens Modus tollens Och-eliminering Och-introducering Eller-eliminering Eller-introducering Dilemma

Och-eliminering eller eliminering av konjunktion är en logisk härledningsregel inom satslogiken med formen:

$\begin{array}{cc} A \and B & \mathrm{(premiss)} \\ \hline A & \mathrm{(slutsats)} \end{array}$

eller

$\begin{array}{cc} A \and B & \mathrm{(premiss)} \\ \hline B & \mathrm{(slutsats)} \end{array}$

D.v.s. om satsen "A och B" är ett sant påstående så är de enskilda satserna A respektive B också sanna påståenden.