Slutledningsregel

Från Wikipedia
(Omdirigerad från Härledningsregel)
Hoppa till: navigering, sök
Slutledningsregler
Deduction symbols2.gif
Satslogiska slutledningsregler
 Predikatlogiska slutledningsregler 
Andra slutledningsregler

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[redigera | redigera wikitext]

Källor[redigera | redigera wikitext]