En härledning är en typ av matematisk argumentation där man med hjälp av logiska slutsatser visar steg för steg hur man kommit fram till t.ex. en formel eller ett samband. Ett exempel på en härledning är omskrivningen från en andragradsekvation på $pq$-form, dvs. till $pq$-formeln. Härledningar kan ibland användas för att bevisa samband, t.ex. yttervinkelsatsen.