Slutledningsregel

Härledningsregler ä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 ponens
• Modus tollens
• och-eliminering
• och-introducering
• eller-eliminering
• eller-introducering

Predikatlogiska härledningsregler:

• Universell generalisering
• Existensiell generalisering
• Universell specifiering
• Existensiell specifiering

Andra härledningsregler:

• Dilemma
• Modus tollendo ponens

Se även: Logik, Bevis, Syllogism