![]() |
Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | |
|
Высказывательная форма (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)
Дата публикования: 2015-03-26; Прочитано: 167 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!