1.4. Применение логики предикатов

Язык логики предикатов удобен для записи математических предложений и определений. Он дает возможность выражать логические связи между понятиями, записывать определения, теоремы, доказательства.

Примеры выполнения заданий

Запишите определение на языке логики предикатов, используя ограниченные кванторы, и постройте его отрицание:

Функция f непрерывна в точке x₀, если и только если для всякого положительного числа  существует положительное число  такое, что для всякого x из области определения D функции f, если |x - x₀| < , то |f(x) - f(x₀)| < .

Решение. Запишем это определение на языке логики предикатов двумя разными способами.

1 способ:

, где

2 способ, используя ограниченные кванторы:

Построим отрицание этого определения:

Задания для самостоятельного выполнения

1.4.1. Запишите аксиомы положительных величин на языке логики предикатов, используя ограниченные кванторы:

1. Коммутативность сложения

Для любых двух величин a, b  A справедливо a + b = b + a.

2. Ассоциативность сложения

Для любых двух величин a, b, с  A справедливо a + (b + c) = (a + b) + c.

3. Монотонность сложения

Для любых двух величин a, b  A справедливо a + b > a.

4. Транзитивность отношения

Для любых трех величин a, b, с  A. Если a < b и b < c, то a < c.

5. Возможность суммирования

Для любых двух величин a, b, с  A существует однозначно определенная величина c = a + b.

6. Возможность вычитания

Для любых двух величин a, b, с  A если a > b, то существует одна и только одна величина c  A, для которой b + c = a.

7. Возможность деления

Какова бы ни была величина a  A и натуральное число n, найдется такая величина b  A, что n * b = a.

8. Возможность сравнения

Для любых двух величин a, b  A имеет место одно из трех отношений: a = b, a < b, a > b.

9. Аксиома Архимеда или Евдокса

Каковы бы ни были величины a, b  A, существует такое n, что n* b > a

9) Аксиома соизмеримости отрезков

Пусть последовательность величин a_i  A, i = 1…n обладает свойством a₁ < a₂ <… < a_n <…, а последовательность b_i  A, i = 1…n свойством b₁ < b₂ <… < b_n <… , при этом a_i < b_i для любых i, j  N.

Пусть для любого  > 0 существует такое N(), что при всех n > N разность |a_n – b_n| < . Тогда существует единственный элемент c A, удовлетворяющий условиям a_i < с, с < bj для любых i, j  N.

1.4.2. Запишите некоторые аксиомы действительных чисел на языке логики предикатов, используя ограниченные кванторы:

1. x + x’ = 0 (для любого x  R существует x’ R, противоположный x)

2. x  y  x > y или y > x (для любых x, y R)

3. (x * y) * z = x * (y * z) (для любых x, y, z R)

4.  x > x ( для любого x R)

5. (x + y) * z = x * z + y * z (для любых x, y, z R)

6. (x > y, y > z)  (x > z) (для любых x, y, z R)

7. x  0  x* x’ = 1 (для любого x R. и x  0 существует x’ R, x’ – обратный элемент для x)

8. (x > y)  (x + z > y +z) (для любых x, y, z R)

9. x * 1 = x, 1 R (для любого x R)

10. (x > y, z > 0)  (x* z > y * z) (для любых x, y, z R)