Какие основные типы логических отношений существуют между категориями пропозиций в логическом квадрате?

Основные типы логических отношений между категориями пропозиций в логическом квадрате:

1. Противоположность (контрарность). spravochnick.ru studizba.com Универсальные пропозиции находятся в таком отношении друг к другу. spravochnick.ru Например, «Все треугольники маленькие» и «Ни один треугольник не маленький» не могут быть одновременно истинными. spravochnick.ru
2. Субконтрарность (частичное совпадение). spravochnick.ru Частные утверждения находятся в этом отношении. spravochnick.ru Например, «Какой-то треугольник маленький» и «Какой-то треугольник не маленький» не могут быть одновременно ложными, но могут быть одновременно истинными или иметь разный истинностный статус. spravochnick.ru
3. Субальтерация и суперальтерация. spravochnick.ru Это отношения между универсальной и конкретной пропозициями одного качества, при которой одно подразумевается другим. spravochnick.ru Например, конкретная пропозиция одного качества — это субальтерация универсального утверждения того же качества, а универсальное утверждение — это суперальтерация частного утверждения того же качества. spravochnick.ru