Дедукція , за логікою, суворе доведення або виведення одного твердження (висновку) з одного або декількох тверджень (передумов) - тобто ланцюжка тверджень, кожне з яких є або передумовою, або наслідком висловлювання, що відбувається раніше в доказі. Це використання є узагальненням того, що грецький філософ Арістотель назвав силогізмом, але силогізм тепер визнається лише приватним випадком дедукції. Крім того, традиційна точка зору, згідно з якою дедукція здійснюється "від загального до конкретного" або "від загального до конкретного", більшість логіків відмовилася як неправильна. Деякі експерти вважають усі дійсні умовиводи дедуктивними за формою і з цієї та інших причин відкидають передбачуваний контраст між дедукцією та індукцією. Дивитися такожаксіоматичний метод; формальна система; умовивід.
Детальніше про цю тему Думка: Дедукція Дедуктивне міркування, або дедукція, передбачає аналіз дійсних форм аргументів та висновок, що передбачається в їх приміщеннях .... Ця стаття була нещодавно переглянута та оновлена Брайаном Дуйньяном, старшим редактором.
