Используя отношения, зафиксированные в логическом квадрате, можно осущест-
влять ослабление и отрицание атрибутивных высказываний.
Ослабление представляет собой переход от общего высказывания к частному с тем
же качеством (вывод по вертикали логического квадрата):
В результате ослабления мы теряем часть информации, содержащейся в посылке,
но получаем логически правильный вывод.
Отрицание – это одновременное изменение качества и количества исходного
высказывания (из общего высказывания получаем частное, из частного – общее, из ут-
вердительного – отрицательное, из отрицательного – утвердительное).
Этот вывод осуществляется по диагонали логического квадрата:
Упражнение 4.Произведите ослабление и отрицание следующих высказываний:
а) Все верующие соблюдают пост.
б) Ни одно четное число не является простым.
Остальные выводы по логическому квадрату представляют собой ту или иную
комбинацию отрицания и ослабления: