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

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

• Логическое подчинение. miep-ptk.ru Общее суждение подчиняет частное, а частное, в свою очередь, подчинено общему. miep-ptk.ru Для этого отношения характерны два свойства: если истинно общее суждение, то истинно и подчинённое ему частное, и наоборот, если ложно частное суждение, то ложно и соответствующее ему общее. miep-ptk.ru
• Субконтрарность. miep-ptk.ru Суждения типа I и О находятся в отношении субконтрарности: они несовместимы по ложности, то есть не могут быть одновременно ложными, но могут быть одновременно истинными. miep-ptk.ru
• Контрарная противоположность. miep-ptk.ru Суждения типа А и Е несовместимы по истинности: они не могут быть одновременно истинными, но могут быть одновременно ложными. miep-ptk.ru Пример: «Все люди курят» и «Ни один человек не курит». miep-ptk.ru
• Контрадикторная противоположность (противоречие). miep-ptk.ru Суждения, находящиеся в концах диагоналей логического квадрата (А и О, Е и I), не могут быть одновременно ни истинными, ни ложными. miep-ptk.ru

Отношения между категорическими высказываниями можно рассмотреть с помощью логического квадрата, где вершины символизируют простые категорические суждения, а стороны и диагонали — отношения между ними. studizba.com