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