где над чертой записываются посылки, под чертой – заключение, а сама черта выражает акт выведения заключения из посылок. Часто вместо черты используется знак 
, и тогда умозаключение формулируется как A1, A2,…, An B. Примером умозаключения является знаменитое рассуждение халифа Омара, которое, согласно легенде, послужило причиной сожжения Александрийской библиотеки:
«Если ваши книги согласны с Кораном, то они излишни.
Если же ваши книги не согласны с Кораном, то они вредны.
Но вредные или излишние книги следует уничтожить.
Поэтому ваши книги следует уничтожить.»
На практике многие рассуждения имеют гораздо более сложную структуру, в ходе рассуждения осуществляются несколько умозаключений, причем заключения одних могут стать посылками в других.
Умозаключение считается правильным, если между посылками и заключениями имеется отношение дедуктивного логического следования (т.е. если при любой конкретизации содержаний нелогических терминов, входящих в состав посылок и заключения, истинности посылок всегда отвечает истинность заключения). В противном случае умозаключение неправильное. Поскольку иногда отношение логического следования рассматривают как обеспечивающее лишь некоторую степень правдоподобия заключения (индуктивное логическое следование), то соответственно различают дедуктивные и индуктивные (правильные и неправильные) умозаключения.
Изучение наиболее часто употребляемых в практике аргументации форм правильных дедуктивных умозаключений позволило выделить несколько классов умозаключений и выделить в каждом из классов некоторые типы корректных умозаключений (в основном – двухпосылочных). При этом выделяются две разновидности умозаключений – прямые и непрямые. Прямыми умозаключениями называют умозаключения, в которых заключение выводится из некоторого множества высказываний. Непрямыми называются умозаключения, которые получаются путем преобразования других умозаключений.
См. также ЛОГИКА; НЕПРЯМЫЕ УМОЗАКЛЮЧЕНИЯ; ПРЯМЫЕ УМОЗАКЛЮЧЕНИЯ.
Владимир Васюков
Бочаров В.А., Маркин В.И. Основы логики. М., 1994
Войшвилло Е.К., Дегтярев М.Г. Логика с элементами эпистемологии и научной методологии. М., 1994
Брюшинкин В.Н. Логика: Учебник. 3-е изд., доп. и испр. М., Гардарики, 2001
