Slutledningsregel

Från Wikipedia
(Omdirigerad från Härledningsregel)
Hoppa till navigering Hoppa till 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]