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