Задачи повышенной трудности


Дата добавления: 2014-11-24 | Просмотров: 1556


<== предыдущая страница | Следующая страница ==>

1. Докажите, что если ╞ 0, то º 1.

2. Докажите, что если , ╞ 0, то В.

3. Докажите утверждение:

Если, допустив истинность , выведем противоречие, то можем утверждать истинность В.

 

Тема 3. Предикаты и кванторы

 

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

Например, предикат 2х = 1, рассматриваемый для натуральных чисел отличается от предиката, заданного этим же уравнением, но для рациональных чисел.

В общем случае предикат Р(x1, x2, …, xn) является n-местным и по существу является условием, накладываемым на энки определенных объектов. Простое высказывание – нульместный предикат.

Все допустимые значения переменных образуют предметную область предиката.

Предикат называется выполнимым, если существует набор из предметной области, при котором его истинностным значением будет И.

Если такого набора нет, то предикат называется тождественно ложным. Например, предикат 2х = 1 выполним в Q и тождественно ложен в N.

Наконец, предикат называется тождественно истинным, если при любом наборе значений переменных из предметной области он принимает истинностное значение И.

Например, предикат 0×х = 0 является тождественно истинным в R.

Приписывание к предикату Р(x1, x2, …, xn) квантора общности ("х1) или квантора существования ($х1) превращает данный n-местный предикат в n-1 местный ("х1)Р(x1, x2, …, xn),($х1)Р(x1, x2, …, xn), переменная х1 называется связанной переменной (в частности, ("х)Р(x), ($х)Р(x) – являются простыми высказываниями).

Эта операция называется квантированием (или навешиванием квантора).

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

Известно, что и .

 


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 |

При использовании материала ссылка на сайт Конспекта.Нет обязательна! (0.049 сек.)