Экзаменационные вопросы по курсу математической логики

Печать
(8 голосов)
Оглавление
Экзаменационные вопросы по курсу математической логики
Страница 2
Страница 3
Страница 4
Страница 5
Страница 6
Страница 7
Страница 8
Страница 9
Страница 10
Страница 11
Страница 12
Страница 13
Страница 14
Равносильность высказывательных форм

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


Равносильные:

x + 1 = 0 <=> x = cos π

|x| > 3 <=> x2 - 90 > 0

|x| < 0 <=>  sin x = 2

x = 1 <=> x + y - y = 1


Неравносильные:

x > 0 <≠> y > 0

x = x <≠>  = x


Равносильное преобразование - замена высказывательной формы  на высказывательную форму  так, что значении истинности  при тех же наборах переменных сохраняется.

Свойства равносильности:

- рефлексивность;

- транзитивность;

- симметричность.

12) Логические операции и операции над множествами. Следование и включение.

Рассмотрим пять основных логических операций над множествами: отрицание, конъюнкция, дизъюнкция, импликация, эквиваленция.

1) Отрицание

P = (x)

Q =

 ( - закрашенная область на рисунке)


2) Конъюнкция

P1 = (x)

P2 = (x)

Q =

3) Дизъюнкция

P1 = (x)

P2 = (x)

Q =


4) Импликация

P1 = (x)

P2 = (x)

Q =

5) Эквиваленция

P1 = (x)

P2 = (x)

Q =


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

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

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

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

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

Пример:


Дано:

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

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

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


Итого:

(x)(x)


  Нет комментариев.

Обсудить на форуме. (0 комментариев)

Добавить комментарий


Защитный код
Обновить

« Элементы математической логики