slutledning

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.