deduktion
Deduktion, i den formelle logik en udledning af et udsagn (konklusionen) ud fra andre udsagn (præmisserne) i overensstemmelse med logiske slutningsregler. En deduktion består således af en række udsagn, hvor hvert udsagn i rækken enten er en præmis eller følger