Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.
Предоплата всего
Подписываем
PAGE 18
2.1. Определение предиката. Кванторы
Определение 2.1. Предикатом P(x1, x2, ... , xn) называется функция, аргументы которой определены на некотором множестве М, x1, x2, ... , xn M, а сама она принимает два значения: И (истина) и Л (ложь). Таким образом, предикат осуществляет отображение М {И, Л}.
Переменные x1, x2, ... , xn называются предметными переменными, а множество M – предметной областью.
Если все переменные x1, x2, ... , xn принимают конкретные значения, то предикат есть не что иное, как высказывание, Таким образом, высказывание является частным случаем предиката. Можно сказать, что предикат есть высказывание, зависящее от параметров.
Пример 2.1.
а) P(x) = “x – четное число”. Здесь М – множество целых чисел, xM.
б) A(x, y, z) = “x, y, z лежат на одной окружности”. Здесь М – множество точек плоскости, x, y, z M
в) B(x, y) = “x старше y”. Здесь M – множество людей, x, y M.
Предикат от n переменных называется n-местным предикатом. Высказывание есть 0-местный предикат.
Как видно из примера 2.1, одноместный предикат отражает свойство некоторого объекта, а многоместный предикат выражает отношение между многими объектами.
Над предикатами можно производить обычные логические операции и получать при этом другие предикаты. Таким образом можно говорить об алгебре предикатов.
Пример 2.2.
Пусть A(x) – предикат “x делится на 3”, а B(x) – предикат “x делится на 2”. Тогда A(x) V B(x) – предикат “x делится на 3 или на 2”, а A(x) & B(x) – предикат “x делится на 3 и на 2”.
Кроме операций логики высказываний, в логике предикатов используются особые логические символы – кванторы (были введены немецким математиком Г. Фреге).
Квантор общности. Пусть P(x) – некоторый предикат, определенный для каждого x М. Тогда выражение xP(x) является истинным высказыванием, если P(x) истинно для всякого x М и ложным в противном случае. Символ x называется квантором общности. Выражение xP(x) читается: “Для всех x имеет место P(x)”. В обычной речи квантору общности соответствуют слова: все, всякий, каждый, любой. Возможно отрицание квантора общности: ØxP(x): “Не для всех x имеет место P(x)”.
Пример 2.3.
Пусть P(x) – предикат “x – четное число”. Тогда xP(x) есть высказывание “Всякое x – четное число" = “Все числа – четные", которое истинно на множестве M четных чисел и ложно, если М содержит хотя бы одно нечетное число, например, если M – множество целых чисел. Отрицание ØxP(x) есть высказывание “Не всякое x – четное число" = “Не все числа – четные", которое истинно на множестве целых чисел и ложно на множестве четных чисел.
Квантор существования. Пусть P(x) – некоторый предикат, x М. Тогда выражение xP(x) является истинным высказыванием, если P(x) истинно хотя бы для одного x М и ложным в противном случае. Символ x называется квантором существования. Выражение xP(x) читается: “Существует x, для которого имеет место P(x)”. В обычной речи квантору существования соответствуют слова: некоторый, несколько. Возможно отрицание квантора существования: ØxP(x): “Не существует x, для которого имеет место P(x)”.
Кванторы существования и общности называются двойственными кванторами.
Пример 2.4.
Пусть, как и в примере 2.3, P(x) – предикат “x – четное число”. Тогда xP(x) есть высказывание “Некоторые x – четные числа” = “Существуют четные числа”, которое истинно на множестве M, содержащем хотя бы одно четное число и ложно, если М содержит только нечетные числа. Высказывание ØxP(x) = “Неверно, что некоторые x – четные числа” = “Не существует четных чисел” истинно на множестве M, содержащем только нечетные числа и ложно, если М содержит хотя бы одно четное число.
Буква x, стоящая справа от квантора, называется кванторной переменной и должна присутствовать обязательно. Переменная, стоящая под знаком квантора, называется также связанной переменной. Несвязанная переменная называется свободной. Выражения xP(x) и xP(x) не зависят от x и имеют вполне определенные значения. Поэтому переименование связанной переменной, т. е. переход, например, от выражения xP(x) к yP(y) не меняет его истинностного значения.
Кванторы могут применяться и к многоместным предикатам. При этом число свободных переменных уменьшается на единицу. Одноместный предикат при связывании переменной квантором становится 0-местным предикатом, т. е. высказыванием.
2.2. Формулы логики предикатов. Равносильность формул
Определение 2.2. Формула логики предикатов определяется индуктивно следующим образом:
1. Любая формула логики высказываний есть формула логики предикатов.
К новым формулам логики предикатов относятся следующие выражения:
2. Предметные переменные x, y, z, ... есть формулы.
3. Предикаты P(x), Q(x, y), ... , а также выражения с кванторами xP(x), xR(x), xyQ(x, y),... есть формулы.
4. Если A и B – формулы, то ØA, AVB, A&B, AÉB, AB есть формулы, в которых свободные переменные формул A и B остаются свободными, а связанные переменные формул A и B остаются связанными.
5. Ничто, кроме указанного в пунктах 1 – 4, не есть формула.
Пусть A – формула, содержащая свободную переменную x. Тогда xA, xA – формулы, причем в первом случае A является областью действия квантора общности, а во втором – областью действия квантора существования.
Пример 2.5.
1. Следующие выражения являются формулами логики предикатов:
а) A & B É C, где A, B, C – высказывания.
б) xyQ(x, y, z) & xyP(x, y, u).
Проанализируем последовательно это выражение.
Предикат Q(x, y, z) – формула;
Выражение xyQ(x, y, z) – формула; переменные x, y – связанные, переменная z – свободная.
Предикат P(x, y, u) – формула.
Выражение xyP(x, y, u) – формула; переменные x, y – связанные, переменная u – свободная.
Выражение xyQ(x, y, z) & xyP(x, y, u) – формула; переменные x, y – связанные, переменные z, u – свободные.
2. Выражение xyP(x, y, z) É Q(x, y, z) формулой не является. Действительно, выражение xyP(x, y, z) есть формула, в которой переменные x и y связанные, а переменная z свободная. Выражение Q(x, y, z) также формула, но в ней все переменные x, y, z свободные.
Определение 2.3. Формулы F и G, определенные на некотором множестве М, называются равносильными на этом множестве, если при любых подстановках констант вместо переменных они принимают одинаковые значения.
Определение 2.4. Формулы, равносильные на любых множествах, будем называть просто равносильными.
Переход от одних формул к равносильным им другим формулам логики предикатов может быть произведен по следующим правилам:
1. Все равносильности, имеющие место для логики высказываний, переносятся на логику предикатов.
Пример 2.6.
а) x(A(x) É yB(y)) º x(ØA(x) V yB(y)).
б) xA(x) É (B(z) ÉxC(x)) º Ø(xA(x)) V ØB(z) V xC(x).
в) (xA(x) ÉyB(y)) É C(z) º Ø(xA(x) É yB(y)) V C(z) º Ø(Ø(xA(x)) V yB(y) V C(z) º xA(x) & Ø(yB(y)) V C(z).
2. Перенос квантора через отрицание.
Пусть A – формула, содержащая свободную переменную x. Тогда
Ø(xA(x) º x(ØA(x)). (2.1)
Ø(xA(x)) º xØ(A(x)). (2.2)
Правило переноса квантора через знак отрицания можно сформулировать так: знак отрицания можно ввести под знак квантора, заменив квантор на двойственный.
Справедливость равносильностей (2.1) и (2.2) вытекает из смысла кванторов. Так, левая часть (2.1) может быть прочитана следующим образом: “Неверно, что для всякого x имеет место A(x). В правой же части (2.1) утверждается: “Существует x, для которого A(x) не имеет места”. Очевидно, что оба утверждения одинаковы. В левой и правой частях (2.2) соответственно содержатся одинаковые утверждения: “Неверно, что существует x, для которого имеет место A(x)” и “Для всех x не имеет места A(х)”.
Пользуясь равносильностями (2.1) и (2.2), а также равносильностями логики высказываний, можно для каждой формулы найти такую равносильную ей формулу, в которой знаки отрицания относятся к элементарным высказываниям и элементарным предикатам.
Пример 2.7.
Ø(x(A(x) ÉyB(y)) º Ø(x(ØA(x) V yB(y)) º x(Ø(ØA(x) V yB(y))) º x(A(x) & ØyB(y)) º x(A(x) & yØB(y)).
3. Вынос квантора за скобки.
Пусть формула A(x) содержит переменную x, а формула B не содержит переменной x, и все переменные, связанные в одной формуле, связаны в другой. Тогда
xA(x)VB º x(A(x)VB). (2.3)
xA(x)&B ºx(A(x)&B). (2.4)
xA(x)VB ºx(A(x)VB). (2.5)
xA(x)&B ºx(A(x)&B). (2.6)
Докажем формулу (2.3). Пусть формула xA(x) V B истинна на некотором множестве изменения переменных М и при некоторых фиксированных значениях свободных переменных. Тогда либо формула xA(x), либо формула B истинна. Если истинна формула xA(x), то формула A(х) истинна для всякого х, принадлежащего М и, следовательно, формула A(x) V B тоже истинна для всякого х из М. Но тогда истинна формула x(A(x)VB).
Если формула xA(x)VB ложна, то ложны формулы xA(x) и B. Следовательно, так как B не зависит от х, для всякого хМ формула A(x) V B ложна. Но тогда ложна формула x(A(x) V B).
Равносильности (2.4) – (2.6) доказываются аналогично.
4. Дистрибутивность квантора общности относительно конъюнкции и квантора существования относительно дизъюнкции.
Пусть формула B, так же, как и формула A, зависит от х. Тогда
xA(x) & xB(x) º x(A(x)&B(x)). (2.7)
xA(x) V xB(x) º x(A(x)VB(x)). (2.8)
Докажем (2.7). Пусть правая часть (2.7) истинна, т. е. x(A(x) & B(x)) = И. Тогда для любого х0М истинно значение A(x0) & B(x0). Поэтому значения A(x0) и B(x0) одновременно истинны для любого х0. Следовательно, истинна формула xA(x) & xB(x).
Если же правая часть (2.7) ложна, то для некоторого х0М либо значение A(x0), либо значение B(x0) ложно. Значит, ложно либоxA(x0), либоxB(x0). Следовательно, xA(x) & xB(x) ложно.
Равносильность (2.8) доказывается аналогично.
Дистрибутивные законы для квантора общности относительно дизъюнкции и квантора существования относительно конъюнкции, вообще говоря, не имеют места, т. е. формулы
xA(x) V xB(x) и x(A(x) V B(x)), а также xA(x) & xB(x) и x(A(x) & B(x))
не являются равносильными, хотя они могут быть равносильными на некоторых множествах М.
Пример 2.8.
Показать, что формулы x(A(x) V B(x)) и xA(x) V xB(x)) не равносильны.
Пусть М – множество натуральных чисел, A(х) = “х – четное число”, B(х) = “х – нечетное число”. Тогда
x(A(x) V B(x)) = “Всякое натуральное число четное или нечетное” = И.
xA(x) = “Всякое натуральное число – четное” = Л,
xB(x) = “Всякое натуральное число – нечетное” = Л,
xA(x) V xB(x) = “Всякое натуральное число четное или всякое натуральное число нечетное” = Л,
т. е. формулы x(A(x) V B(x)) и xA(x) V xB(x) не равносильны.
Пример 2.9.
Показать, что формулы x(A(x) & B(x)) и xA(x) & xB(x) не равносильны.
Пусть A(х) = “У х голубые глаза”, B(х) = “У х черные глаза”. Тогда
x(A(x) & B(x)) = “У некоторых голубые и черные глаза” = Л,
xA(x) = “У некоторых голубые глаза” = И,
xB(x) = “У некоторых черные глаза” = И,
xA(x) & xB(x) = “У некоторых голубые, и у некоторых черные глаза” = И
т. е. формулы x(A(x) & B(x)) и xA(x) & xB(x) не равносильны.
5. Перестановка одноименных кванторов.
xyA(x,y) º yxA(x,y). (2.9)
xyA(x,y) º yxA(x,y). (2.10)
Разноименные кванторы переставлять, вообще говоря, нельзя.
Пример 2.10.
Пусть М – множество натуральных чисел, A(x, y) = “x > y”.
а) xyA(x, y) = “Для всех x и y имеет место x > y” = Л;
yxA(x, y) = “Для всех у и х имеет место х > y” = Л;
xyA(x, y) º yxA(x, y).
б) xyA(x, y) = “Существуют такие х и у, что х > y” = И;
yxA(x, y) = “Существуют такие y и x, что х > y” = И;
xyA(x, y) º yxA(x, y).
в) xyA(x, y) = “Существует такое х, что для всякого у имеет место x > y” = Л (утверждается существование максимального числа на множестве натуральных чисел);
yxA(x, y) = “Для всякого y существует такое х, что x > y” = И;
xyA(x, y) yxA(x, y).
г) A(х, у) = “Книгу х читал человек у”.
xyA(x, y) = “Каждую книгу читал кто-нибудь” = И (например автор книги читал свою книгу);
yxA(x, y) = “Существует человек, который читал все книги” = Л;
xyA(x, y) yxA(x, y).
6. Переименование связанных переменных.
Заменяя связанную переменную формулы A другой переменной, не входящей в эту формулу, всюду: в кванторе и в области действия квантора, получим формулу, равносильную A.
Пример 2.11.
A = xF(x) É xG(x).
Заменяя связанную переменную x на y в первом члене импликации и на z во втором, получим равносильную формулу:
B = yF(y) É zG(z).
A º B.
7. В п. 4. была доказана дистрибутивность квантора общности относительно конъюнкции и квантора существования относительно дизъюнкции (тождества (2.7) и (2.8)). Этот факт означает, что в вышеуказанных случаях соответствующие кванторы могут быть вынесены за скобки и помещены впереди формулы, что и демонстрируют тождества (2.7) и (2.8).
Рассмотрим теперь случай, когда закон дистрибутивности, вообще говоря не применим. Сначала рассмотрим формулу xA(x) V xB(x) и применим правило переименования переменных. Получим
xA(x) V xB(x) º xA(x) V yB(y). (2.11)
Так как yB(y) не зависит от x, справедлива равносильность (2.3), причем B = yB(y). Поэтому в соответствии с (2.3) можно вынести за скобки x:
xA(x) V yB(y) º x(A(x) V yB(y)). (2.12)
Так как A(x) не зависит от y, справедлива равносильность (2.3), причем на этот раз B = A(x). Поэтому в соответствии с (2.3) можно вынести за скобки y :
A(x) V yB(y) º y(A(x) V B(y)) (2.13)
Учитывая (2.11), (2.12), (2.13), получим:
xA(x) V xB(x) º xy(A(x) V B(y)). (2.14)
Таким образом за скобки выносятся два квантора x и y, а выражение в скобках не содержит знаков квантора.
Проведем аналогичные выкладки для формулы xA(x) & xB(x):
xA(x) & xB(x) º xA(x) & yB(y) º x(A(x) & yB(y)) º xy(A(x) & B(y)). (2.15)
Аналогично можно доказать следующие равносильности:
xA(x) V xB(x) º xy(A(x) V B(y)). (2.16)
xA(x) & xB(x) º xy(A(x) & B(y)). (2.17)
2.3. Приведенные и нормальные формулы
Определение 2.5. Формулы, в которых из логических символов имеются только символы &, V и Ø, причем символ Ø встречается лишь перед символами предикатов, называются приведенными формулами.
Пример 2.12.
Первые две формулы в соответствии с определением являются приведенными, остальные не являются приведенными. В третьей формуле знак отрицания стоит перед формулой, а не перед символами предикатов. В четвертой формуле используется недопустимый для приведенной формулы символ импликации É. В пятой формуле знак отрицания стоит перед формулой и используется недопустимый для приведенной формулы символ импликации.
Теорема 2.1. Для каждой формулы существует равносильная ей приведенная формула, причем множества свободных и связанных переменных этих формул совпадают.
Действительно, пользуясь равносильностями логики высказываний, можно получить формулу, содержащую только символы &, V и Ø. Применяя затем правило переноса квантора через знак отрицания, можно получить равносильную приведенную формулу. Такая приведенная формула называется приведенной формулой данной формулы. Строгое доказательство теоремы 2.1 содержится, например, в [6].
Пример 2.13.
Рассмотрим третью, четвертую и пятую формулы примера 2.12 и получим для них приведенные формулы.
Для третьей формулы по закону де Моргана:
Ø (A(x)&B(x, y)) º ØA(x) V ØB(x, y).
Для четвертой формулы:
xA(x) É xØB(x, y) º ØxA(x) V xØB(x, y) º xØA(x) V xØB(x, y).
Для пятой формулы:
Ø(xA(x) É xØB(x, y)) º Ø(xØA(x) V xØB(x, y)) º Ø(xØA(x)) & Ø(xØB(x, y)) º xA(x) & xB(x, y).
Определение 2.6. Приведенная формула называется нормальной, если она не содержит символов кванторов или все символы кванторов стоят впереди.
Пример 2.14.
Теорема 2.2. Для каждой приведенной формулы существует равносильная ей нормальная формула.
Строгое доказательство теоремы 2.2 приведено в [6].
Алгоритм, позволяющий из приведенной формулы получить равносильную ей нормальную формулу, основан на правиле переименования связанных переменных и использовании равносильностей (2.3) – (2.8), (2.14) и (2.17).
Пусть Q – любой из кванторов , .
Воспользуемся равносильными преобразованиями (см.предыдущий раздел):
QxA(x) V B º Qx(A(x) V B) (2.18)
QxA(x) & B º Qx(A(x) & B) . (2.19)
В тождествах (2.18), (2.19) формула B не зависит от x.
Q1xA(x) & Q2xB(x) º Q1xQ2z(A(x)&B(z)) (2.20)
Q1xA(x) V Q2xB(x) º Q1xQ2z(A(x)VB(z)) (2.21)
Тождества (2.18) и (2.19) есть обобщенная запись равносильных преобразований (2.3) – (2.6), а тождества (2.20) и (2.21) обобщают равносильности (2.14) – (2.17).
Мы видим, что тождества (2.18) – (2.21) позволяют поместить кванторы впереди формулы, что и требуется для нормальной формулы.
Пример 2.15.
Найти равносильную нормальную формулу для приведенной формулы: xyA(x, y) & xu(x, u).
В формуле yA(x, y) переменная y связана, поэтому yA(x, y) не зависит от y. Обозначим D(x) = yA(x, y).
В формуле uB(x, u) переменная u связана, поэтому uB(x, u) не зависит от u . Обозначим F(x) = uB(x, u).
Тогда xyA(x, y) & xuB(x, u) = xD(x) & xF(x). (2.22)
Применим равносильность (2.20), имея в виду, что Q1x есть x, а Q2x есть x. Получим
xD(x) & xF(x) º xz(D(x) & F(z)). (2.23)
Рассмотрим формулу D(x) & F(z) = yA(x, y) & uB(z, u). Применив два раза равносильность (2.19), получим
yA(x, y) & uB(z, u) º y(A(x, y) & uB(z, u)) º yu (A(x, y) & B(z, u)). (2.24)
Учитывая (2.21), (2.22), (2.23), получим окончательно
xyA(x, y) & xuB(x, u) º xzyu(A(x, y) & B(z, u)). (2.25)
В тождестве (2.25) в левой части – исходная формула, а в левой части ее нормальная формула.
Теорема 2.3. Для каждой формулы существует равносильная ей нормальная формула.
Теорема 2.3. является очевидным следствием теорем 2.1 и 2.2.
Пример 2.16.
Найти равносильную нормальную формулу для формулы: xyA(x, y) É xuB(x, u).
1. Найдем вначале приведенную формулу, равносильную данной. Избавимся от символа É:
xyA(x, y) É xu(x, u) º Ø(xyA(x, y)) V xuB(x, u).
Применим равносильности (2.1) и (2.2) (перенос квантора через отрицание):
Ø(xyA(x, y)) º xyØA(x, y),
Следовательно,
xyA(x, y) É xuB(x, u) º xyØA(x, y) V xuB(x, u). (2.26)
Правая часть тождества (2.26) – приведенная формула, равносильная данной.
2. Найдем теперь нормальную формулу, равносильную приведенной формуле xyØA(x, y) V xuB(x, u). Проделаем преобразование этой формулы, аналогично предыдущему примеру:
xyØA(x, y) V xuB(x, u) º xyØA(x, y) V zuB(z, u) º xz(yØA(x, y) V uB(z, u)) º xzyu(ØA(x, y) V B(z, u)). (2.27)
В правой части (2.27) – нормальная формула, равносильная исходной.
2.4. Выражение суждения в виде формулы логики предикатов
Существуют две задачи, определяющие связь между суждениями и формулами логики предикатов:
1) выражение суждения в виде формулы логики предикатов;
2) интерпретация формулы логики предикатов.
Рассмотрим первую задачу.
Суждение – это мысль, в которой утверждается наличие или отсутствие свойств предметов, отношений между предметами.
Простым суждением назовем суждение, в котором нельзя выделить часть, в свою очередь являющуюся суждением. Среди простых суждений выделяют атрибутивные суждения и суждения об отношениях.
В атрибутивных суждениях выражается наличие или отсутствие у предметов некоторых свойств. Например, "Иванов - спортсмен", "Все сладкоежки любят конфеты", "Ни один студент нашей группы не знает испанский язык", "Некоторые океаны имеют пресную воду".
Все атрибутивные суждения можно разделить на следующие типы: "a есть P", "Все S есть P", "Ни один S не есть P", "Некоторые S есть P", "Некоторые S не есть P". Эти суждения следующим образом переводятся на язык логики предикатов:
"a есть P" – P(a);
"Все S есть P" – x(S(x) É P(x));
"Ни один S не есть P" – x(S(x) É ØP(x));
"Некоторые S есть P" – x(S(x) & P(x));
"Некоторые S не есть P" – x(A(x) & ØP(x)).
Полезно понять и запомнить следующее правило: если кванторная переменная связана квантором общности (), то в формуле используется знак импликации ( É), а если кванторная переменная связана квантором существования (), то в формуле используется знак конъюнкции (&).
Пример 2.17.
Перевести на язык логики предикатов следующие суждения:
а) Веста – собака.
Заменим имя "Веста" символом "в" и введем предикат P(x) = "x – собака".
Наше суждение можно выразить формулой: P(в).
б) Всякая логическая функция может быть задана таблицей.
Введем предикаты S(x) = "x – логическая функция"; P(x) = "x может быть задана таблицей".
Наше суждение можно выразить формулой: x(S(x) É P(x)).
в) Ни один народ не хочет войны.
Введем предикаты S(x) = "x – народ"; P(x) = "x хочет войны".
Наше суждение можно выразить формулой: x(S(x) É ØP(x)).
г) Некоторые журналисты были в космосе.
Введем предикаты S(x) = "x – журналист"; P(x) = "x был в космосе".
Наше суждение можно выразить формулой: x(S(x) & P(x)).
д) Некоторые современники динозавров не вымерли.
Введем предикаты S(x) = "x – современник динозавров"; P(x) = "x вымер".
Наше суждение можно выразить формулой: x(A(x) & ØP(x)).
Суждения об отношениях выражают отношения между двумя, тремя и т. д. объектами. При переводе этих суждений в формулы используют многоместные предикаты и правила, рассмотренные выше. При переводе отрицаний суждений на язык формул применяется правило переноса квантора через знак отрицания и другие равносильные преобразования.
Пример 2.18.
Суждение “Некоторые студенты сдали все экзамены” записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Введем предикаты: A(x) = “x – студент”; B(y) = “y – экзамен”, C(x, y) = ”x сдал экзамен y”. Тогда предложение “Некоторые студенты сдали все экзамены” можно записать в виде следующей формулы:
xy(A(x)&B(y) É C(x, y)).
Построим отрицание этой формулы, применяя равносильные преобразования:
Øxy(A(x)&B(y) É C(x, y))) º xy(Ø(A(x)&B(y) É C(x, y)) º xy(A(x)&B(y)& ØC(x, y)).
Это предложение можно прочитать следующим образом:
“Каждый студент не сдал хотя бы один экзамен”.
Язык логики предикатов удобен для записи математических предложений: определений, теорем, необходимых и достаточных условий (см., например [5]).
Пример 2.19.
Записать на языке логики предикатов следующее определение предела числовой последовательности: "Число a является пределом числовой последовательности {an}, если для любого положительного числа существует такой номер n0, что для всех натуральных чисел n, больших или равных n0, справедливо неравенство: |an - a| < ".
Введем предикаты: P() = " > 0"; Q(n) = "n – натуральное число"; R(n, n0) = "n n0"; S(n, ) = "|an - a| < ".
Определение предела последовательности может быть записано следующей формулой:
n0n(P()&Q(n)&Q(n0)&R(n, n0) É S(n, )).
Пример 2.20.
Записать в виде формулы логики предикатов великую теорему Ферма (была доказана в 1996 г. Э. Вайлсом (Andrew Wiles)): "Для любого целого n > 2 не существует натуральных чисел x, y, z, удовлетворяющих равенству: xn + yn = zn".
Введем предикаты: N(x) = "x – натуральное число"; M(x) = "x > 2"; P(x, y, z, n) = "xn + yn = zn".
Для любых чисел x, y, z, n условие (посылка) теоремы Ферма есть конъюнкция N(x)&N(y)&N(z)&N(n)&M(n), а заключение есть ØP(x, y, z, n). Поэтому теорема Ферма формулируется следующим образом:
xyzn(N(x)&N(y)&N(z)&N(n)&M(n) É ØP(x, y, z, n)).
Если теорема имеет вид x(P(x) É Q(x)), то предикат Q(x) является следствием предиката P(x). При этом предикат Q(x) называется необходимым условием предиката P(x), а предикат P(x) – достаточным условием предиката Q(x).
Пример 2.21.
Запишем в виде формулы логики предикатов утверждение: "Если число делится на 6, то оно делится на 3".
Введем предикаты P(x) = "x делится на 6"; Q(x) = "x делится на 3". Наше утверждение формулируется следующим образом: x(P(x) É Q(x)).
Предикат P(x) (делимость на 6) является достаточным условием предиката Q(x) (делимость на 3). Предикат Q(x) (делимость на 3) является необходимым условием предиката P(x) (делимость на 6).
2.5. Интерпретация формулы логики предикатов в виде суждения.
Выполнимость. общезначимость
Формула есть перевод содержательного рассуждения в формальное рассуждение. Формула имеет смысл только тогда, когда имеется какая-нибудь интерпретация входящих в нее символов. Каждая интерпретация состоит в указании множества М изменения предметных переменных и задании отношения между переменными с помощью предикатов.
Для данной интерпретации формула представляет собой высказывание, если переменные связаны кванторами, а если есть свободные переменные, то формула есть предикат, который может быть истинным для одних значений переменных из области интерпретации и ложным для других.
Пример 2.22.
Пусть М – множество целых положительных чисел, и дан предикат A(x, y) = “x y”.
Рассмотрим следующие формулы:
1)A(x, y);
2) yA(x, y);
3) xyA(x, y).
Первая формула – это предикат, который является истинным высказыванием для всех пар целых положительных чисел (a, b), таких, что a b.
Вторая формула – предикат “Для всякого целого положительного числа y имеет место x y”, который является истинным только для x = 1.
Третья формула – высказывание “Существует такое x, что для всякого y имеет место x y”. Оно является истинным и соответствует тому, что на множестве М есть наименьшее число (единица).
Пусть задаио множество M изменения предметных переменных формулы A(x1, x2, ... , xn), т. е. (x1, x2, ... , xn) M.
Определение 2.7. Формула A называется выполнимой в данной интерпретации, если существует набор значений переменных (a1, a2, ... , an) M, для которого A(a1, a2, ... , an) = И.
Определение 2.8. Формула A называется истинной в данной интерпретации, если A(x1, x2, ... , xn) = И на любом наборе своих переменных (x1, x2, ... , xn) M.
Определение 2.9. Формула A называется общезначимой или тождественно-истинной, если она истинна в каждой интерпретации.
Определение 210. Формула A называется выполнимой, если существует интерпретация, для которой она выполнима.
Проблема разрешимости для логики предикатов, так же, как и для логики высказываний (см. раздел 1.5) заключается в том, чтобы установить, является ли произвольная формула тождественно-истинной.
Но, если для логики высказываний эта проблема решается положительно, то для логики предикатов неразрешимость этой проблемы устанавливает следующая теорема:
Теорема 2.4. (Теорема Черча). Не существует алгоритма, который для любой формулы логики предикатов устанавливает, общезначима она или нет.
Однако, для одноместных предикатов проблема разрешимости решается положительно.
В общем случае выделение общезначимых формул логики предикатов возможно в рамках аксиоматического подхода, который будет рассмотрен ниже (см. раздел 3.3).
1. Какие из следующих утверждений верны:
а) Предикат есть сложное высказывание, состоящее из простых высказываний.
б) Предикат есть высказывание, зависящее от параметров.
в) Высказывание есть 0-местный предикат.
г) Высказывание есть одноместный предикат.
2. Выберите правильный вариант ответа 1 – 4 для следующих вопросов:
а) Обобщением какой операции является связывание квантором общности?
б) Обобщением какой операции является связывание квантором существования?
Варианты ответа: 1 – дизъюнкция; 2 – конъюнкция; 3 – импликация; 4 – эквивалентность.
3. Какие из следующих формул логики предикатов являются равносильными:
а) ¬xA(x) и x(¬A(x)); б) ¬xA(x)) и x¬A(x)); в)x(A(x)VB) и xA(x)VB;
г) x(A(x)&B(x)) и xA(x)&xB(x); д)xyA(x,y) и yxA(x,y);
е) xyA(x, y) и yxA(x, y);
ж) xyA(x, y) и yxA(x, y).
4. Какие из следующих формул логики предикатов являются приведенными и какие – нормальными:
а) ¬xA(x) V xyA(x, y); б) yxA(x, y)& yzB(y, z); в) xyz(A(x, y) & B(y, z)).