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

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.

Our website is made possible by displaying online advertisements to our visitors. Please consider supporting us by disabling your ad blocker.

Slutledningsregel

Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.