Словарь по логике

Логические отношения (между высказываниями или высказывательными формами): Бинарные отношения, устанавливаемые между логическими формами высказываний и фиксирующие возможные сочетания их истинностных значений. В современной логике выделяют три базовых логических отношения: совместимость по истинности, совместимость по ложности и логическое следование. На основе этих базовых отношений определяются производные: логическая независимость, контрадикторность (логическая противоречивость), логическая эквивалентность, контрарность, субконтрарность. Все отношения, кроме логического следования, устанавливаются между парой высказываний или высказывательных форм; вариант отношения логического следования, устанавливаемый также только между парой высказываний (или высказывательных форм) называется отношением подчинения. Частный случай (который и был обобщен в дальнейшем) логических отношений – отношения между атрибутивными высказываниями (см. логический квадрат).