ОСНОВНЫЕ ПОНЯТИЯ И ИХ КРАТКОЕ ОПРЕДЕЛЕНИЕ:

совместимость – такой тип отношений между сложными высказываниями, при котором логические формы  этих высказываний должны быть одновременно истинными хотя бы в одной строке таблицы значений;

несовместимость - такой тип отношений между сложными высказываниями, при котором логические формы этих высказываний не могут быть одновременно истинными;

следование (подчинение) – вид совместимых отношений сложных высказываний, при котором  из истинности логической формы одного высказывания с необходимостью следует истинность логической формы другого высказывания;

полная совместимость - вид совместимых отношений сложных высказываний, при котором  значения логических форм полностью совпадают;

частичная совместимость - вид совместимых отношений сложных высказываний, при котором  логические формы высказываний не могут быть одновременно ложными;

отношение сцепления - вид совместимых отношений сложных высказываний, при котором  истинность (ложность)  логической формы одного высказывания  не исключает ложности (истинности) логической формы второго высказывания;

отношение противоречия - вид несовместимых отношений сложных высказываний, при котором  значения логических форм не совпадают;

отношение противоположности - вид несовместимых отношений сложных высказываний, при котором  логические формы высказываний хотя бы в одной строке таблицы значений должны быть одновременно ложными.

ПОРЯДОК ИЗУЧЕНИЯ ВОПРОСА:

5.1. Обратите внимание на то, что логические отношения имеют место только между такими парами высказываний, логические формы которых содержат хотя бы одну общую переменную.  Принято при обозначении первой и второй логической форм использовать латинские буквы α и β

Пример:  α) (pVq)→r; β) q↔s