Och-eliminering

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

Texten från svenska Wikipedia

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.