Och-introducering

Satslogiska slutledningsregler
Modus ponendo ponens Modus tollendo tollens Modus tollendo ponens Deduktionsteoremet Reductio ad absurdum Och-eliminering Och-introducering Eller-eliminering Eller-introducering HS-regeln
Predikatlogiska slutledningsregler
Universell generalisering Existentiell generalisering Universell specifikation Existentiell specifikation
Andra slutledningsregler
Dilemma

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

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

Det vill säga om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.