Разделительно-категорический силлогизм наряду с одной разделительной посылкой содержит одну категорическую. Его утверждающе-отрицающий модус

Равносилен отрицающе-утверждающему.

Обязательным условием для разделительно-категорического силлогизма является учет всех возможных альтернатив, иначе заключение будет не достоверным. В случае двух, взаимоисключающих альтернатив, разделительно-категорический силлогизм, опираясь на закон исключения третьего, позволяет выбрать одну из них путем опровержения другой и, наоборот, опровергать ее, выбрав другую, что наглядно представлено схемой:

Которой легко пользоваться, вставив в нее истинные переменные. Например:

Билет №10

1. Суждение, его логическая структура. Суждение, как и понятие, являясь структурой мышления, имеет свою внутреннюю структуру, однако более сложную, чем понятие. Элементами логической структуры суждения являются: субъект, предикат, связка и квантор.
Субъект суждения - это понятие, отражающее предмет мысли, то, о чем мыслится в данном суждении. Обозначается буквой «S» (от лат. subjektum -лежащий в основе).
Предикат суждения - это понятие, отражающее признак предмета мысли, то, что мыслится о субъекте суждения. Обозначается буквой «Р» (от лат. praedicatum - сказанный).
Связка выражает отношение, которое существует в суждении между субъектом и предикатом. Она характеризует принадлежность предмету мысли какого-либо свойства, отраженного в предикате, или его отсутствие. Обозначается знаком «тире», а также может подразумеваться или быть выражена словом или группой слов: «есть», «суть», «не являются», «имеется» и т.д.
Квантор (кванторное слово) указывает, относится ли признак, выраженный в предикате суждения, ко всему или к части объема понятия, выражающего субъект. Находится перед субъектом и обозначается словами «все», «некоторые», «многие», «ни один» и т.д. Однако квантор может в суждении и отсутствовать.
Таким образом, каждое суждение состоит из трех основных элементов — субъекта, предмета и связки (двух терминов и связки). Каждый из этих членов суждения обязательно имеется или подразумевается во всех суждениях. Состав суждения можно выразить общей формулой:

S есть (не есть) Р
Для того, чтобы установить субъект и предикат того или иного суждения (что важно для точного выражения своей мысли или для точного понимания чужой), необходимо ясно отдавать себе отчет, что является предметом мысли, а что высказывается об этом предмете. Рассмотрим пример: «В России есть прогрессивно мыслящие люди». В этом суждении трудно определить его субъект. На первый взгляд таковым является «прогрессивно мыслящие люди». На самом деле речь идет о людях, которые живут в России -о «россиянах», но этот субъект выражен лишь частично речевым оборотом «в России». «Прогрессивно мыслящие люди» здесь предикат суждения. Из смысла предложения ясно, что в нем говорится не о всех россиянах, а лишь об их части, о «некоторых». Связка выражена словом «есть», которое синонимично глаголу «является». Указанные трудности анализа приведенного предложения снимаются, когда мы выразим заключенное в этом предложении суждение в правильной логической форме, когда точно выражены все его составные элементы: «Некоторые россияне являются прогрессивно мыслящими людьми». Субъектом здесь будет понятие «россияне», предикатом - «прогрессивно мыслящие люди», логической связкой — «являются», а квантором - слово «некоторые».

2. Чисто условное умозаключение. Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.

Например:

Если изобретение создано совместным творческим трудом нескольких граждан (р), все они признаются соавторами изобретения (q). Если они признаются соавторами изобретения (q), то порядок пользования правами на изобретение, созданное в соавторстве, определяется соглашением между соавторами (г)

Если изобретение создано совместным творческим трудом нескольких граждан (р), то порядок пользования правами на изобретение, создан­ное в соавторстве, определяется соглашением между соавторами (г)

В приведенном примере обе посылки — условные суждения, причем следствие первой посылки является основанием второй (q), из которого, в свою очередь, вытекает некоторое следствие (г). Общая часть двух посылок (q) позволяет связать основание первой (р) и следствие второй (г). Поэтому заключение также выражается в форме условного суждения.

Схема чисто условного умозаключения: