Slutledning

En slutledning är en process, vid vilken man från ett antal premisser och i kraft av en slutledningsregel framställer en slutsats.

En slutledning är giltig då slutsatsen följer av premisserna. Slutsatsen S, sägs följa av premisserna P₁....P_n då konjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som:

P₁....P_n ${\displaystyle \vdash S.}$

Härav följer att slutsatsen S är sann då premisserna är sanna, men om någon av dessa är falsk kan, även om slutledningen är giltig, slutsatsen vara falsk.

En härledning brukar beskrivas som en serie av slutledningar.