Och-introducering

Från Wikipedia
Hoppa till: navigering, sök
Deduction symbols2.gif
Satslogiska härledningsregler

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.