Och-introducering

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

$\begin{array}{cc}A& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s})\\ B& \mathrm{(}\mathrm{p}\mathrm{r}\mathrm{e}\mathrm{m}\mathrm{i}\mathrm{s}\mathrm{s})\\ A\wedge B& \mathrm{(}\mathrm{s}\mathrm{l}\mathrm{u}\mathrm{t}\mathrm{s}\mathrm{a}\mathrm{t}\mathrm{s}\mathrm{)}\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.