Пропозиции в логическом квадрате имеют следующее значение: они утверждают, что все или некоторые из членов одной категории (субъектный термин) включены в другую (предикатный термин). 1
Основные отношения пропозиций в логическом квадрате:
- Универсальные пропозиции находятся в противоположности (контрарности) друг с другом. 2 Например, «Все треугольники маленькие» и «Ни один треугольник не маленький» не могут быть одновременно истинными. 2
- Частные утверждения находятся в отношении субконтрарности (частичного совпадения). 2 Например, «Какой-то треугольник маленький» и «Какой-то треугольник не маленький» не могут быть одновременно ложными, но могут быть одновременно истинными или иметь разный истинностный статус. 2
- Конкретная пропозиция одного качества — это субальтернация универсального утверждения того же качества, а универсальное утверждение — это суперальтерация частного утверждения того же качества. 2