Öppna huvudmenyn

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.

Slutledningsregler
Deduction symbols2.gif
Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler

Se ävenRedigera

KällorRedigera