Открыть Электронные книги
Категории
Открыть Аудиокниги
Категории
Открыть Журналы
Категории
Открыть Документы
Категории
Логика предикатов
Пример.
а) Одноместный предикат: P(x): x2=2, x є R
Этот предикат имеет знчение «истина», т.е. P( x) 1 при x 2 , при
остальных значениях x P ( x) 0 , т.е. принимает значение «ложь».
б) Рассмотрим трёхместный предикат:
P(x, y, z): «сумма квадратов двух натуральных чисел равна квадрату
натурального числа».
Этот предикат можно записать в виде P( x, y, z) x2 y 2 z 2 , x, y, z N .
Например, при x 3, y 4, z 5 значение предиката P( x, y, z ) 1 .
2)квантор существования:
Пусть А(x, y1, …, yn) – некоторый предикат. Высказывание «Существует
значение переменной x такое, что А(x, y1, …, yn) истинно » записывается с
помощью квантора существования :
х А x, y1 , , yn .
Квантор х А x, y1, , yn зависит от переменных y1 , , yn , переменная х -
связанная переменная.
Пример. Пусть x M , M предметная область предиката. Значение
предиката х P x - « истина», т.е. х P x 1 , тогда и только тогда, когда
существует хотя бы одно значение элемента a M такое что P(a) 1 .