Произведите превращение обращение и противопоставление субъекту и предикату из суждения

2. Субъект посылки «невиновный» (S), предикат посылки «должен быть осужден» (Р).

3. Записываем логическую форму посылки в символической записи:

Ни один S не есть Р.

4.1. Выполним операцию превращения:

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

Запишем заключение посредством естественного языка:
Ни один невиновный не должен быть осужден.
Всякий невиновный должен быть не осужден.

4.2. Выполним операцию обращения:

Ни один S не есть Р.
Ни один Р не есть S.

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

4.3. Выполним операцию противопоставления предикату:

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

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

4.4. Выполним операцию противопоставления субъекту:

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

Запишем заключение посредством естественного языка:
Ни один невиновный не должен быть осужден.
Всякий осужденный должен быть виновными.

4.5. Выполним все возможные выводы по логическому квадрату:
Посылка выражена общеотрицательным суждением (Е).
Из истинности общеотрицательного суждения (Е) всегда следует ложность общеутвердительного суждения (А).
Запишем заключение посредством естественного языка:
Не верно, что всякий невиновный должен быть осужден.

Из истинности общеотрицательного суждения (Е) всегда следует ложность частноутвердительного суждения (I).
Запишем заключение посредством естественного языка:
Не верно, что некоторые невиновные должны быть осуждены.
Из истинности общеотрицательного суждения (Е) всегда следует истинность частноотрицательного суждения (О).
Запишем заключение посредством естественного языка:
Верно, что некоторые невиновные не должны быть осуждены.

Тема № 5.2.
Простой категорический силлогизм….