Härledning

Från Rilpedia

(Omdirigerad från Slutledning)
Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

En härledning är inom logiken ungefär detsamma som ett bevis som utförs inom ett inferenssystem, bestående av inferensregler och axiom. Härledningen sägs vara giltig inom ett inferenssystem om och endast om slutsatsen följer av axiomen i det inferenssystem som den utförs i.

Se även


Personliga verktyg
På andra språk