Логические отношения между суждениями

Для решения некоторых проблем (выбор антитезиса при доказательстве и т.п.) бывает необходимо определить логические отношения между суждениями. Суждения бывают сравнимыми и несравнимыми. Сравнимые суждения имеют одинаковый субъект и предикат, у несравнимых субъект и предикат различны. Сравнимые суждения бывают совместимыми и несовместимыми по истинности и по ложности. К отношениям совместимости по истинности относятся эквивалентность, логическое подчинение и частичная совместимость (субконтрарность). К отношениям несовместимости по истинности относятся противоположность и противоречие.