Запись текста через предикат

Задание 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 нет кванторов. Фраза «для сколь
угодно малого» по смыслу равносильно «для любого», т.е. перед ε стоит квантор всеобщности: ∀ ε .
Слово «найдётся» соответствует квантору существования – ∃ δ .

Использование конструкции «называется … если», указывает на присутствие операции

эквивалентности, т.е. дан термин и его описание.
Ситуация одновременного присутствия свойства числа ε и последующей конструкций говорит о
наличии конъюнкции между ними.
Фразе: «из |x−x 0|< δ следует |f −a|<ε » соответствует импликация между соответствующими
предикатами.

Наконец, запишем всю фразу через предикаты:

Q ( a , f , x 0 ) ↔ ( ∀ ε [ W ( ε ) ∧∃ δ { E ( x , x 0 , δ ) → E ( f , a , ε ) }])
Примечание: скобки должны показывать области действия кванторов, поэтому они необходимы.
Различия между круглыми, квадратными и фигурными скобками нет.

Теперь посмотрим, как математики записывают данное определение:

A=lim f ( x ) ⇔ ∀ ε , ε >0 ∃ δ ( ε ) (|x −x 0|< δ →|f ( x )− A|<ε )
x → x0
Полная аналогия записей!

Задание 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. Через две параллельные прямые можно провести плоскость.
Если указанных предикатных символов недостаточно для построения формулы, то можно создать
свои предикатные символы.

Пример решения задания под буквой а:

Дано: Определение параллельных плоскостей.
Переформулируем определение: Две плоскости называются параллельными, если не имеют
общих точек.
Иными словами: Любые две плоскости называются параллельными, если не существует точки,
принадлежащей одновременно и первой плоскости, и второй плоскости.

В этой фразе указаны 3 объекта: 2 разные плоскости (обозначим через α и β ) и 1 точка ( f ),

причем «быть плоскостью» и «быть точкой» – это также предикатные символы.

В формуле точно будет квантор существования, т.к. точка «не существует». Кванторы
всеобщности для переменных, которые будут плоскостями, можно ставить, можно не ставит. О них
ничего не сказано.
Это определение, значит, будет использоваться эквиваленция.
Условия выполняются одновременно: 2 объекта – одновременно плоскости и при этом они ещё
и параллельны. Тоже про общую точку: объект является точкой, одновременно с этим лежит в первой
плоскости и лежит во второй плоскости. Значит, будем соединять предикатные символы конъюнкцией.
Получим формулу:
∀ α ∀ β ( Pl ( α ) ⋀ Pl ( β ) ⋀ A ( α , β ) ↔ ∃ f [ T ( f ) ⋀ L ( f , α ) ⋀ L ( f , β ) ] )

Решения других букв:

b. Через каждые 2 различные точки можно провести прямую.
∀ x ∀ y ( T ( x ) ⋀ T ( y ) ⋀ N ( x , y ) →∃ z [ Pr ( z ) ⋀ L ( x , z ) ⋀ L ( y , z ) ] )

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 ) ] )
Примечание: можно усложнить формулу, указав, что все три точки различные.

d. Через две параллельные прямые можно провести плоскость.

∀ x ∀ y ( Pr ( x ) ⋀ Pr ( y ) ⋀ A ( x , y ) → ∃ z [ Pl ( z ) ⋀ L ( x , z ) ⋀ L ( y , z ) ] )