отношения между суждениями по значениям истинности

Ответ от Оксана... на...[гуру]
ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ ПО ЗНАЧЕНИЯМ ИСТИННОСТИ
Суждения, как и понятия, делятся на сравнимые (имеют общий субъект или предикат) и несравнимые. Сравнимые суждения делятся на совместимые и несовместимые.
В математической логике два высказывания p и q называются несовместимыми, если из истинности одного из них необходимо следует ложность другого (т. е. p и q никогда не могут оказаться одновременно истинными).
Совместимые выражают одну и ту же мысль полностью или лишь в некоторой части. Отношения совместимости: эквивалентность, логическое подчинение, частичное совпадение (субконтрарность). Если два высказывания эквивалентны, то невозможно, чтобы одно из них было истинным, а другое ложным.
Совместимые суждения, находящиеся в отношении логического подчинения, имеют общий предикат; понятия, выражающие субъекты двух таких суждений, также находятся в отношении логического подчинения.
В отношении частичного совпадения (субконтрарности) находятся два таких совместимых суждения, которые имеют одинаковые субъекты и одинаковые предикаты, но различаются по качеству.
Отношения несовместимости: противоположность, противоречие. Из истинности одного из противоположных суждений вытекает ложность другого, но ложность одного из них оставляет другое суждение неопределенным.
Закономерности, выражающие отношения между суждениями по истинности, имеют большое познавательное значение, так как они помогают избежать ошибок при непосредственных умозаключениях, производимых из одной посылки (одного суждения).
смотрим ТУТ: ссылка
ТУТ: