Härledning
Wikipedia
En härledning är inom logiken ungefär detsamma som ett bevis men gö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 avsågs.
[redigera] Se även
- härledningsregel
- inferensregel