Дедукція— процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні то висновок на їх підставі є чинним.
Приклад вживання
У логіці використовуються два загальних методи отримання висновків: дедукція та індукція.
Походження
Latin deductionem (nominative deductio) "a leading away, an escorting; a diminution," noun of action from past-participle stem of deducere "lead or bring away or down; derive" (Medieval Latin, "infer logically").