http://krasnaya-zastava.ru/wiki/index.php?action=history&feed=atom&title=%D0%94%D0%B5%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8FДедукция - История изменений2026-04-20T22:18:37ZИстория изменений этой страницы в викиMediaWiki 1.18.1http://krasnaya-zastava.ru/wiki/index.php?title=%D0%94%D0%B5%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F&diff=2122&oldid=prevDrakot: Внимание: математический модуль не установлен, есть проблемы при отображении статьи.2006-10-31T06:09:09Z<p>Внимание: математический модуль не установлен, есть проблемы при отображении статьи.</p>
<p><b>Новая страница</b></p><div>Источник: [http://ru.wikipedia.org/wiki/%D0%94%D0%B5%D0%B4%D1%83%D0%BA%D1%86%D0%B8%D1%8F Wikipedia]<br />
<br />
'''Дедуктивное умозаключение''', '''Деду́кция''' (от лат. deductio — выведение) — умозаключение, в котором вывод про отдельный предметный класс делается на основе (абстрактного) класса в целом, то есть от общего к частному.<br />
<br />
Дедуктивное умозаключение может быть непосредственным (когда знания получаются непосредственным восприятием предмета или явления) и посредственным (когда используются имеющиеся знания, выводы). В непосредственном умозаключении вывод делается на основе не более чем одной предпосылки, оно представляет собой некоторе действие над суждением и не всегда может быть сведено к простому изменению его формы. Основные способы построения непосредственных умозаключений:<br />
* Превращение структуры: «Все S есть P» => «Ни один S не есть P», «Некоторые S есть P» => «Некоторые S не есть P»<br />
* Обращение — обмен местами субъекта и предиката. При этом распределение не изменяется только если объёмы субъекта и предиката равны, в остальный случаях: «Все S есть P» => «Некоторые P есть S»<br />
* Противопоставление является последователным применением двух предыдущих<br />
<br />
Примеры:<br />
: Человек смертен.<br />
: Сократ — человек.<br />
: Сократ смертен.<br />
<br />
: Рисунок написан на холсте.<br />
: Холст на стене, над полом.<br />
: Рисунок над полом.<br />
<br />
Дедукция — основной метод доказательства в [[математика|математике]], также раскрытия преступлений [[Шерлок Холмс|Шерлоком Холмсом]].<br />
<br />
== Условно-категорические умозаключения ==<br />
Умозаключения, в которых одна предпосылка является [[Суждение#Условные суждения|условным суждением]], а вторая предпосылка совпадает с основанием или следствием [[Суждение#Условные суждения|условного суждения]] или же с результатом отрицания основания или следствия [[Суждение#Условные суждения|условного суждения]].<br />
<br />
Истинность основы влечёт истинность следствия, а отрицание следствия влечёт отрицание основы.<br />
<br />
Формы правильных [[Модус (философия)|модусов]] (видов) условно-категорических заключений:<br />
* утверждающий модус (лат. modus ponens): <math>\frac{A \rightarrow B, A}{B}</math><br />
* отрицающий модус (лат. modus tollens): <math>\frac{A \rightarrow B, \neg B}{\neg A}</math><br />
<br />
== Разделительно-категорические умозаключения ==<br />
Умозаключения, в которых одна из предпосылок является [[Суждение#Разделительные суждения|разделительным суждением]], а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все кроме одного (2). В заключении, соответственно, отрицаются все члены кроме указанного во второй предпосылке (1) или утверждается пропущенный член (2).<br />
<br />
Формы правильных модусов разделительно-категорических заключений<br />
# утверждающе-отрицающий модус (лат. modus ponendo-tollens): <math>\frac{A \lor B \lor C ..., B}{\neg A, \neg C ...}</math><br />
# отрицающе-утверждающий модус (лат. modus tollendo-ponens): <math>\frac{A \lor B \lor C ..., \neg A \neg C ...}{B}</math><br />
<br />
== Условные умозаключения ==<br />
Умозаключения, посылки и заключения которых — [[Суждение#Условные суждения|условные суждения]].<br />
<br />
* контрапозиция: <math>\frac{A \supset B}{\neg B \supset \neg A}</math><br />
* сложная контрапозция: <math>\frac{(A \land B) \supset C}{(A \land \neg C) \supset \neg B}</math><br />
* транзитивность: <math>\frac{A \supset B, B \supset C}{A \supset C}</math><br />
<br />
== Дилеммы ==<br />
Особый вид умозаключений из двух [[Суждение#Условные суждения|условных суждений]] и одного [[Суждение#Разделительные суждения|разделительного]].<br />
<br />
Виды правильных дилемм<br />
* конструктивные:<br />
: <math>\frac{A \supset C, B \supset C, A \lor B}{C}</math><br /><br /><br />
: <math>\frac{A \supset B, C \supset D, A \lor C}{B \lor D}</math>(сложная)<br />
* деструктивные:<br />
: <math>\frac{A \supset B, A \supset C, \neg B \lor \neg C}{\neg A}</math><br /><br /><br />
: <math>\frac{A \supset B, C \supset D, \neg B \lor \neg D}{\neg A \lor \neg C}</math>(сложная)<br />
<br />
[[Категория:Словарь терминов]]</div>Drakot