Задание 2.
Математические определения и теоремы очень удобны для записи через предикаты. Возьмём
определение производной функции в точке:
Число A называется пределом функции f(x) в точке x0, если для сколь угодно малого
положительного числа ε найдётся такое число δ, что из |x−x 0|< δ следует |f ( x)−A|< ε .
Очевидно, что объектами являются числа a, x0, ε, δ , переменная x (тоже число) из множества чисел
R и функция f(x) – её обозначим как f – из множества функций.
Выделим все свойства и связи между объектами (предикатные символы):
число A - предел функции f(x) в точке x0
положительное ε
|x−x 0|< δ и |f − A|<ε - фактически одно и тоже, но с разными аргументами.
Теперь для каждого создадим предикат:
число a - предел функции f(x) в точке x0 Q (a, f, x0 )
положительное ε W (ε)
|x−x 0|< δ E (x, x0, δ )
|f −a|<ε E ( f, a, ε )
Примечание: такая форма записи возможна для учебного пособия, в тетрадке должно быть записано
так, как было показано на занятии.
Определим наличие кванторов перед переменными. У a, x0 и f нет кванторов. Фраза «для сколь
угодно малого» по смыслу равносильно «для любого», т.е. перед ε стоит квантор всеобщности: ∀ ε .
Слово «найдётся» соответствует квантору существования – ∃ δ .
Задание 3.
W – интерпретация, областью которой является множество геометрических объектов 3-мерного
евклидового пространства (точки, прямые и плоскости), и имеются предикаты со следующим
описанием:
T(x)=1 ↔ «x – точка»
Pr(x)=1 ↔ «x – прямая»
Pl(x)=1 ↔ «x – плоскость»
L(x,y)=1 ↔ «x принадлежит y» (иначе, «x лежит на y»)
A(x,y)=1 ↔ «x параллельно y»
N(x,y)=1 ↔ «x неравно y»
Написать формулы, выражающие следующие утверждения:
a. Определение параллельных плоскостей.
b. Через каждые 2 различные точки можно провести прямую.
c. Через каждые три точки, не лежащие на одной прямой, можно провести плоскость.
d. Через две параллельные прямые можно провести плоскость.
Если указанных предикатных символов недостаточно для построения формулы, то можно создать
свои предикатные символы.
В формуле точно будет квантор существования, т.к. точка «не существует». Кванторы
всеобщности для переменных, которые будут плоскостями, можно ставить, можно не ставит. О них
ничего не сказано.
Это определение, значит, будет использоваться эквиваленция.
Условия выполняются одновременно: 2 объекта – одновременно плоскости и при этом они ещё
и параллельны. Тоже про общую точку: объект является точкой, одновременно с этим лежит в первой
плоскости и лежит во второй плоскости. Значит, будем соединять предикатные символы конъюнкцией.
Получим формулу:
∀ α ∀ β ( Pl ( α ) ⋀ Pl ( β ) ⋀ A ( α , β ) ↔ ∃ f [ T ( f ) ⋀ L ( f , α ) ⋀ L ( f , β ) ] )
c. Через каждые три точки, не лежащие на одной прямой, можно провести плоскость.
∀ x ∀ y ∀ z ( T ( x ) ⋀ T ( y ) ⋀ T ( z ) ⋀ ∃ p [ Pr ( p ) ⋀ L ( x , p ) ⋀ L ( y , p ) ⋀ L ( z , p ) ] → ∃ f [ Pl ( f ) ⋀ L ( x , f ) ⋀ L ( y , f ) ⋀ L ( z , f ) ] )
Примечание: можно усложнить формулу, указав, что все три точки различные.