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