Härledningsregel

Från Wikipedia
Hoppa till: navigering, sök
Deduction symbols2.gif
Satslogiska härledningsregler

Härledningsregler eller slutledningsregler, är de grundläggande argumentationssteg som utförs i en härledning. Ett härledningssystem bestämmer exakt vilka härledningsregler som är tillåtna.

Satslogiska härledningsregler:

Predikatlogiska härledningsregler:

Andra härledningsregler:

Se även[redigera | redigera wikitext]