Applied regression analysis / Лекции / 6 / lec4

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Исчисление предикатов

к.ф.-м.н., доцент Красоткина О.В.

Тульский государственный университет

Математическая логика и теория алгоритмов Лекция 7 Тула, 2014

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

1Алгебра предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие алгебры предикатов

Законы алгебры предикатов

Нормальные формы логики предикатов

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Если объект высказывания, т.е. о чем говорится в предложении, не определен, то это предложение называют

высказывательной функцией. Аргументами высказывательной функции являются предметные переменные, которые обозначают строчными буквами латинского алфавита x; y; z:::. Эта функция приобретет значение 1 или 0 только при подстановке в высказывательную функцию вместо предметных переменных их конкретных значений. Конкретные значения аргументов высказывательной функции называют предметными постоянными, которые обозначают строчными буквами латвийского алфавита a; b; c; ::: .

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Высказывательную функцию иначе называют предикатом (лат. praedicatum - логическое сказуемое).

Для задания предиката нужно определить множество M - область определения предиката и свойство, которое проверяется на объектах данного множества.

Например: на множестве натуральных чисел можно задать высказывательные функции или предикаты

P1(x) -”x - простое число”, P1(10) = 0 P2(6; y) -”y меньше 6” , P2(6; 2) = 1

P3(6; y; z) ”z есть частное от деления числа 6 на y”,

P3(6; 2; 3) = 1

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Подмножество T области определения предиката M, в которой предикат принимает значение 1, называется областью истинности предиката . T M

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Если высказывательная функция содержит один аргумент, то задан одноместный предикат, если она содержит n аргументов, то - n-местный предикат.

Одноместный предикат, как правило, описывает наличие какого-либо признака у предмета, а n-местный предикат наличие отношений между n предметами.

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Между элементами области определения может быть задана некоторая структура или установлены какие-то функциональные отношения. Тогда функциональный символ f указывает на задание этого отношения между предметными переменными и/или предметными постоянными области определения f (x1; x2; :::xn).

Например: на множестве натуральных чисел можно задать предикат

P(x; y) -”x равен у” и функцию f (x; y) = x + y - тогда

P(f (x; y); z) ”z равно сумме x и y”,

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Предикат становится высказыванием при подстановке в него конкретных значений предметных переменных из области определения предиката

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Отрицание - есть одноместная операция, посредством которой из данной формулы F (t1; t2; : : : tn) получают ее

отрицание F (t1; t2; : : : tn)

Например:

P(x) - предикат, определенный на множестве людей, "x - любит кашу"

P(x) - предикат, опредeленный на множестве людей, "x - НЕ любит кашу"

Красоткина О.В.

Красоткина

О.В.

Алгебра

предикатов

Что такое предикат

Операции над предикатами

Операции квантификации

Понятие

алгебры

предикатов

Законы

алгебры

предикатов

Нормальные

формы

логики

предикатов

Определение

Дизъюнкция - есть двухместная операция, посредством которой из двух формул F1 и F2 получают новую формулу F (t1;1; t1;2; t1;n; t2;1; t2;2; t2;m) с числом предметных переменных и постоянных, равным их объединению у исходных формул. Значение формулы истинно тогда и только тогда, когда истинна хотя 6ы одна из формул F1 или

F2.

Красоткина О.В.