§7. Запись на языке логики предикатов различных предложений

Уделим немного внимания применению одного из аспектов логики предикатов – грамотной записи на языке логики предикатов различных математических предложений. Это будет весьма полезным студенту и будущему учителю не только для формирования логической культуры, но и для практического оперирования рассматриваемыми понятиями и методами непосредственно в процессе изучения математических дисциплин в вузе и преподавания математики в школе.

С помощью кванторной символики удобно записывать формулировки различных определений и теорем. В процессе такой записи приходится осмысливать данное предложение, отчетливо выделять в нем посылки и заключение (если это теорема), очерчивать более широкий круг понятий и четко выделять ограничивающее условие (если это определение). Одним словом, перевод расплывчатой словесной формулировки на строгий язык логики предикатов, не допускающий противоречивых толкований, способствует четкости и ясности мышления. Рассмотрим некоторые примеры.

Пример 1. Определение предела последовательности: «Число а называется пределом последовательности , если для всякого положительного действительного числа существует такое натуральное число , что для всякого натурального n, большего , имеет место » на языке логики предикатов записывается так:

.

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

.

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

(здесь на первом шаге воспользовались законом де Моргана для кванторов и законом исключения импликации, на втором – законом де Моргана для дизъюнкции и законом двойного отрицания, на третьем – правилом отрицания неравенства).

Таким образом, утверждение: «Число не является пределом последовательности » раскрывается так: «Существует такое положительное число , что для всякого натурального числа найдется такое натуральное число , что ». Несходимость последовательности означает, что никакое число не является ее пределом, т.е. . Это вместе с полученным утверждением дает

.

Пример 2. Определение простого числа: «Натуральное число х называется простым, если оно не равно 1 и имеет ровно два натуральных делителя 1 и х» на языке логики предикатов запишется так:

.

Отрицание этого утверждения, т.е. утверждение о том, что «число не является простым», записывается следующим образом:

.

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

.

Предлагается самостоятельно разобраться в составлении последнего утверждения.

Пример 3. Определение: «Точка из области определения функции называется точкой максимума функции , если существует такая δ‑окрестность данной точки, что для всех x из данной окрестности » на языке логики предикатов запишется так:

.

Запишите самостоятельно отрицание данного утверждения.