Следование и включение

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

Включение одного множества в другое значит, что множество истинности одного меньше или равно множеству истинности второго, т. е. .

При обязательно выполняется или

Таким образом, из тождественно ложной высказывательной формы (| x | < 0) следует любая высказывательная форма. А также тождественно истинная высказывательная форма (| x | ≥ 0) будет следовать из любой.

Пример. Дано:

(x) = < x - кратно 3>

(x) = < x - четное>

M _x = {1; 3; 5; 6; 7; 9; 11; 12}

Итого: (x) (x)