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.


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.