'''Умозаключение''' — это форма мышления, в которой из одного или нескольких суждений, называемых посылками (основаниями), выводится новое [[суждение]], называемое заключением или следствием, выводом.
== Классификация умозаключений ==
* дедуктивные:
** непосредственные умозаключения:
*** [[Превращение|превращения]];*** [[Обращение|обращения]];*** [[Противопоставление предикату|противопоставления предикату]];*** [[Противопоставление субъекту|противопоставления субъекту]];
*** выводы "по логическому квадрату";
** [[силлогизм]]ы:
*** простые:
**** категорические;
**** [[Чисто условныеумозаключения|условные]];
**** разделительные;
**** сокращённые;
*** сложные:
**** [[Условно-категорические умозаключения|условно-категорические]];**** [[Разделительно-категорические умозаключения|разделительно-категорические]];
**** условно-разделительные;
**** сокращённые;
**** комбинированные;
* индуктивные;* умозаключения по аналогии.
'''Дедуктивные умозаключения''' – вид умозаключений, в котором из посылок, выражающих знания большей степени общности, необходимо следует заключение, выражающее знание меньшей степени общности. Дедукция в переводе с латинского означает "выведение".
'''Непосредственные умозаключения''' – это умозаключения, в которых вывод совершается из одной посылки, являющейся категорическим высказыванием.
Практически непосредственные умозаключения (кроме выводов по «логическому квадрату») представляют собой преобразования (операции) категорических суждений, в результате которых получаются суждения другой формы, но выражающие ту же самую мысль, что и исходные суждения.
== Виды непосредственных умозаключений: ==*[[превращение]];*[[обращение]];*[[противопоставление предикату]];*[[противопоставление субъекту;*контрапозиция]].
'''Превращение''' – это преобразование (операция) категорического суждения: образование нового суждения путём перемены качества исходного суждения на противоположное без изменения его количества, при этом предикат заключения является отрицанием предиката посылки, связка меняется на противоположную, а предикат – на противоречащее понятие. При этом частноутвердительное суждение превращается в частноотрицательное, и наоборот, а общеутвердительное суждение превращается в общеотрицательное, и наоборот.
'''Контрапозиция''' — это преобразование (операция) сложного суждения по закону классической логики: если из суждения '''A''' следует суждение '''B''', то из отрицания суждения '''B''' следует отрицание суждения '''A'''.
== Структурные схемы =='''Превращение''' (отрицание предиката). [[файлЛогические понятия|Другие понятия:УМ11.JPG]] '''Обращение''' (перестановка субъекта и предиката). [[файл:УМ12.JPG]] '''Противопоставление предикату''' (перестановка и отрицание предиката). [[файл:УМ13.JPG]] '''Противопоставление субъекту''' (перестановка и отрицание субъекта). [[файл:УМ14.JPG]]== Другие понятия: ==*[[машина Поста]];*[[машина Тьюринга]];*[[схема примитивной рекурсии]];*[[логический закон]];*[[логическая функция]];*[[таблица истинности]];*[[карта Карно]];*[[трёхмерная карта Карно]].*[[предикат]];*[[секвенции]];*[[силлогизм]];*[[суждение]];*[[умозаключение]].{{Список ЛПон}}
== Ссылки ==
* Википедия* [[Участник:Logic-samara]] [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]]