Из суждения Е путем противопоставления предикату получают суждение I.

Например,

Ни один мой приятель не имеет высшего образования.___________

Некоторые люди, не имеющие высшего образования, мои приятели.

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

Из этой схемы видно, что только некоторые элементы множества не-Р являются общими с элементами множества S.

Из суждения О путем противопоставления предикату получают суждение І.

Например,

Некоторые студенты не являются участниками конференции.

Некоторые не участники конференции – студенты.

Схематически это изображается так:

Эта схема указывает на то, что только некоторые из элементов являются общими для множеств не-Р и S.

Из суждения І путем противопоставления предикату заключение получить невозможно. Это обусловлено тем, что превращение суждения І приводит к суждению О, обращение которого сделать нельзя.

Умозаключения по «логическому квадрату».

Строить непосредственные умозаключения можно не только с учетом информации об отношении между S и Р, но и исходя из особенностей логических связей между категорическими суждениями. Напомним, что таких связей (отношений) существует четыре вида: подчинение, противоречие, противоположность и подпротивность.

Умозаключения, которые строятся с учетом этих 4-х типов отношений между категорическими суждениями, называют умозаключениями по «логическому квадрату».

Например,

Некоторые телевизионные программы работают круглосуточно.__________

Неверно, что ни одна телевизионная программа не работает круглосуточно.

Логическая структура данного рассуждения такова: ISP |= Ø ESP.

во-первых, обеспечивают правильность умозаключения в каждом конкретном случае, и

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

рассуждений такого типа.

Правила вывода умозаключений по «логическому квадрату» делятся на:

- основные и

К основным относятся правила, которые регламентируют умозаключения, основанные на:

а) отношении контрадикторности (противоречия), и