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 P1…. Pn då konjunktionen av dessa tautologt implicerar slutsatsen, vilket med symboler kan uttryckas som: P1….