Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
matlog2011.pdf
Скачиваний:
416
Добавлен:
13.02.2015
Размер:
616.49 Кб
Скачать

При k =6 данная импликация ложна. Следовательно, и формула

k (A(k) B(k) C(k))

ложна.

2.4. Основные равносильности, содержащие кванторы

Пусть P(x), Q(x) и R(x, y) — произвольные два одномест-

ных предиката и двухместный предикат, а S — произвольное переменное высказывание (или формула, не содержащая x). Тогда имеют место следующие равносильности:

1. x P(x) x P(x) (первый закон де Моргана для кванторов);

2. x P(x) x P(x) (второй закон де Моргана для кванторов);

(Используя эти соотношения, можно выразить один квантор через другой.)

3.x P(x) x P(x);

4.x P(x) x P(x);

5.x (P(x) S) x P(x) S ;

6.x (S P(x)) S x P(x);

7.x (P(x) S) x P(x) S ;

8.x (S P(x)) S x P(x);

52

(Соотношения 5—8 показывают, что произвольное высказывание или формулу, не содержащую x, можно вносить под знак квантора всеобщности и выносить из-под знака этого квантора в конъюнкции и дизъюнкции.)

9.x (P(x) S) x P(x) S ;

10.x (S P(x)) S x P(x);

11.x (P(x) S) x P(x) S ;

12.x (S P(x)) S x P(x);

(Соотношения 9—12 показывают, что произвольное высказывание или формулу, не содержащую x, можно вносить под знак квантора существования и выносить из-под знака этого квантора

вконъюнкции и дизъюнкции.)

13.x (P(x) S) x P(x) S ;

14.x (S P(x)) S x P(x);

15.x (P(x) S) x P(x) S ;

16.x (S P(x)) S x P(x);

17.x S S ;

18.x S S ;

19. x (P(x) Q(x))

x P(x) x Q(x)

(дистрибутив-

ность квантора всеобщности относительно конъюнкции);

20. x (P(x) Q(x))

x P(x) x Q(x)

(дистрибутив-

ность квантора существования относительно дизъюнкции);

53

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]