Если формула алгебры логики не является тождественно-истинной, значит, умозаключение неправильно:
(*ответ*) да
нет
Заключением умозаключения называют исходные суждения, из которых выводится новое суждение:
(*ответ*) нет
да
Логической формой получения выводных знаний является суждение:
(*ответ*) нет
да
Обращение и превращение суждений относятся к числу непосредственных умозаключений:
(*ответ*) да
нет
Понятие формальной правильности рассуждения относится лишь к конкретному содержанию того или иного суждения:
(*ответ*) нет
да
Противопоставление предикату представляет собой соединение превращения с обращением:
(*ответ*) да
нет
Умозаключение - форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение:
(*ответ*) да
нет
Условно-категорические умозаключения называются леммами:
(*ответ*) нет
да
Частноотрицательное суждение О подлежит обращению:
(*ответ*) нет
да
Большая посылка в силлогизме первой фигуры должна быть частным суждением:
(*ответ*) нет
да
В опосредованных умозаключениях две и более посылок:
(*ответ*) да
нет
В силлогизме может быть два термина:
(*ответ*) нет
да
Если средний термин распределен ни в одной из посылок, вывод либо ложный, либо вероятный:
(*ответ*) да
нет
Задача первой фигуры простого категорического силлогизма - подвести частный случай под общее положение:
(*ответ*) да
нет
Из двух отрицательных посылок следует заключение с необходимостью:
(*ответ*) нет
да
Из двух частных посылок возможен достоверный вывод:
(*ответ*) нет
да
Из истинных посылок всегда можно получить достоверное заключение:
(*ответ*) нет
да
Посылка с большим термином всегда располагается второй:
(*ответ*) нет
да
Правильных модусов 19:
(*ответ*) да
нет
Силлогизмы второй фигуры служат для опровержения ложных обобщений:
(*ответ*) да
нет
Силлогизмы с выделяющими суждениями подчиняются лишь некоторым общим правилам силлогизма и специальным правилам фигур:
(*ответ*) да
нет