Härledningsregel

Satslogiska härledningsregler
Modus ponens Modus tollens Och-eliminering Och-introducering Eller-eliminering Eller-introducering Dilemma

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

Satslogiska härledningsregler:

• Modus ponendo ponens
• Modus tollendo tollens
• Deduktionsteoremet
• Reductio ad absurdum
• och-eliminering
• och-introducering
• eller-eliminering
• eller-introducering

Predikatlogiska härledningsregler:

• Universell generalisering
• Existentiell generalisering
• Universell specificering
• Existentiell specifciering

Andra härledningsregler:

• Dilemma
• Modus tollendo ponens

Se även

• Logik
• Matematiskt bevis
• Syllogism
• Härledningsbegrepp