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

Логический квадрат показывает отношения между четырьмя видами категорических высказываний: общеутвердительными (А), общеотрицательными (Е), частноутвердительными (I) и частноотрицательными (О). dhog.org magisteria.ru

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

• Противоположность (контрарность). dhog.org Пары высказываний на стороне АЕ не могут быть одновременно истинными. dhog.org При этом они могут быть одновременно ложными. dhog.org Пример: либо все дельфины уплывают в океан во время урагана, либо нет. dhog.org
• Частичная совместимость (субконтрарность). dhog.org Пары высказываний на стороне IO никогда не бывают одновременно ложными. dhog.org Пример: если некоторые дельфины уплывают в океан во время урагана, некоторые не уплывают, и наоборот. dhog.org
• Подчинение (субординация). dhog.org Стороны AI и EO образуют это отношение. dhog.org Истинность общего суждения (как утвердительного, так и отрицательного) означает одновременно истинность частного. dhog.org Пример: если все дельфины уплывают в океан во время урагана, то и некоторые дельфины тоже. dhog.org
• Противоречие (контрадикторность). dhog.org Диагонали AO и EI образуют это отношение. dhog.org Пары высказываний не могут быть одновременно истинными или одновременно ложными. dhog.org Пример: если все дельфины уплывают в океан во время урагана, то некоторые из них не могут не уплывать. dhog.org Если ни один из них не уплывает, то и некоторые не могут уплывать. dhog.org

Правила логического квадрата действуют только по отношению к неопределённо-частным суждениям — к тем утверждениям, в которых под словом «некоторые» подразумевается «как минимум, некоторые, а может быть, и все». dhog.org