Och-eliminering

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

     A ∧ B    ; premiss 
     ------
     A         ; slutsats

eller

     A ∧ B    ; premiss 
     ------
     B         ; slutsats

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.