Slutledningsregel

Slutledningsregler, ibland även kallade härledningsregler, är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka slutledningsregler som är tillåtna.

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

Se även

• Matematiskt bevis
• Syllogism
• Härledningsbegrepp

Källor

• Göran Hermeren, Logik, Studentlitteratur, Lund 1967.
• Filosofilexikonet, Forum, Stockholm 1988.
• http://filosofia.fi/search/node/Slutledningsregler