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.