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

Используя отношения, зафиксированные в логическом квадрате, можно осущест-

влять ослабление и отрицание атрибутивных высказываний.

Ослабление представляет собой переход от общего высказывания к частному с тем

же качеством (вывод по вертикали логического квадрата):

В результате ослабления мы теряем часть информации, содержащейся в посылке,

но получаем логически правильный вывод.

Отрицание – это одновременное изменение качества и количества исходного

высказывания (из общего высказывания получаем частное, из частного – общее, из ут-

вердительного – отрицательное, из отрицательного – утвердительное).

Этот вывод осуществляется по диагонали логического квадрата:

Упражнение 4.Произведите ослабление и отрицание следующих высказываний:

а) Все верующие соблюдают пост.

б) Ни одно четное число не является простым.

Остальные выводы по логическому квадрату представляют собой ту или иную

комбинацию отрицания и ослабления: