Och-introducering

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

Texten från svenska Wikipedia

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 \and B & \mathrm{(slutsats)} \end{array}$

D.v.s. om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.