Härledning
Från Rilpedia
Version från den 12 september 2008 kl. 08.15 av LA2-bot (Diskussion)
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.