Деду́кція — процес виведення висновку, що гарантовано слідує, якщо вихідні припущення істинні то висновок на їх підставі є чинним. Висновок повинен базуватись винятково на основі попередньо наведених доказів та не повинен містити нової інформації про предмет, що досліджується. Дедукція була вперше описана у працях давньогрецьких філософів, таких як Арістотель.Процес виведення дедуктивно правильний тоді і лише тоді, коли з точки зору логіки за умови істинності вихідних припущень висновки також істинні; або, логічно неможливі хибні висновки за правильних припущень.
Дедуктивний— заснований на дедукції; дедуктивний метод — спосіб дослідження, при якому окремі положення логічно виводяться із загальних положень (аксіом, постулатів, законів).
У логіці використовуються два загальних методи отримання висновків: дедукція та індукція. Головною відмінністю індукції є те що для її застосування не вимагається знати усі факти до того як зробити висновок. Оскільки на практиці неможливо все з'ясувати перед тим як робити умовивід, дедукція не має широкого застосування у реальному світі, окрім математики й природничих наук, які використовують математичні методи. Індукція, натомість, оперує набором неповних фактів, та на їх основі робить висновок який напевно випливає, не даючи жодних гарантій щодо його істинності. Попри це, індукція дає можливість набувати нових знань, котрі не є очевидними при розгляді вихідних тверджень.
Часто зустрічається помилкова думка, що дедукція рухається від загального до окремого та що індукція — це рух у зворотньому напрямку.