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;
	Denna tabell: visa • redigera

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.