|
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 |
|
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.
Se även
Källor
- Göran Hermeren, Logik, Studentlitteratur, Lund 1967.
- Filosofilexikonet, Forum, Stockholm 1988.
- http://filosofia.fi/search/node/Slutledningsregler