Не-Р не есть S.

Иными словами, мы делаем таким образом: 1) вместо Р берем не-Р; 2) меняем местами S и не-Р, 3) связку меняем на противоположную.

Например, дано суждение: «Все львы — хищные животные». В результате противопоставления предикату получим суждение: «Ни одно нехищное животное не является львом».

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

Противопоставление предикату для различных видов сужде­ний осуществляется так:

1. А. Все S есть Р. → Ни одно не-Р не есть S.

2. Е. Ни одно S не есть Р. → Некоторые не-Р есть S.

3. О. Некоторые S не есть Р. → Некоторые не-Р есть S.

4. Из частноутвердительного суждения необходимые выводы не следуют.

Рис. 35

Все виды непосредственных умозаключений дают нам новое знание, особенно умозаключение, называемое противопоставле­нием предикату.

К непосредственным умозаключениям относятся и умозак­лючения по «логическому квадрату» (рис. 35).

В качестве примеров приведем такие суждения:

А — «Все свидетели дают истинные показания».

Е — «Ни один свидетель не дает истинные показания».

/— «Некоторые свидетели дают истинные показания».

О — «Некоторые свидетели не дают истинные показания».

Из истинности общего суждения следует истинность частного подчиненного ему суждения (т. е. из истинности А следует истин­ность /, из истинности Е следует истинность О). Относительно противоречащих суждений А — О и Е — / можно умозаключать так: если одно из них истинно, то другое обязательно ложно. Они подчиняются закону исключенного третьего.

Категорический силлогизм — это вид дедуктивного умозак­лючения, в котором из двух истинных категорических суждений, где S и Р связаны средним термином, при соблюдении правил необходимо следует заключение.

Силлогизм происходит от греческого syllogismos (сосчитывание, выведение следствия).

В составе категорического силлогизма имеются две посылки и заключение.

Все металлы (M) электропроводны (Р) — большая