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

Противопоставление предикату – это такое непосредственное умозаключение, при котором предикатом становится субъект, а субъектом понятие противоречащее предикату исходного суждения, причем связка меняется на противоположную:

S есть P	или	S не есть P
`P не есть S	`P есть S

То есть, сначала проводится превращение, а затем обращение (табл. 83*).

Таблица 83

Противопоставление предикату

Пример (рис. 115).

Все студенты сдают экзамены.

Ни один не сдающий экзамен не является студентом.

Рис. 115. Пример противопоставления предикату

Непосредственное умозаключение может основываться и на отношениях между суждениями.

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

Если связь неоднозначная, то суждение правильно, если двигаться по ребру, определяющему однозначную связь, например, от O (0) к I (1).

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