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