Slutledningsregel

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

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:

Predikatlogiska härledningsregler:

Andra härledningsregler:

Se även