Применение языка логики предикатов для записи математических предложений, определений, построения отрицания предложений

1. Предикаты Лекция 4

§9. Применение языка логики предикатов для
записи математических предложений,
определений, построения отрицания
предложений

2. §9. Применение логики предикатов к математической практике

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

3. §9. Применение логики предикатов к математической практике

1. Определение предела числовой последовательности.