Och-introducering
| Den här artikeln behöver källhänvisningar för att kunna verifieras. (2018-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Mall:Slutledningsregler Och-introducering eller introducering av konjunktion är en logisk härledningsregel inom satslogiken med formen:
- <math>
\begin{array}{cc} A & \mathrm{(premiss}) \\ B & \mathrm{(premiss}) \\ \hline A \land B & \mathrm{(slutsats)} \end{array} </math>
Det vill säga om de båda enskilda satserna A och B är sanna så är satsen "A och B" också sann.