Предикаты. Кванторы. - раздел Математика, Основы математического анализа
В Математике Часто Встречаются Предложения, Содержащие Переме...
В математике часто встречаются предложения, содержащие переменную. Например, рассмотрим предложение « ». Это предложение не является высказыванием, поскольку мы не можем сказать, истинно оно или ложно, так как это зависит от . Если вместо подставить число 4, то получится истинное высказывание. Если вместо подставить любое другое число, то получится ложное высказывание. Если вместо подставить слово «дом», то получится бессмысленное высказывание. Такие бессмысленные высказывания условились считать ложными.
Определение 1.7. Предложения, в которые входят переменные и которые при замене этих переменных их значениями становятся высказываниями, называют предикатами.
Таким образом, предложение « » есть предикат. Предикат, содержащий одну переменную, называют одноместным, две переменные – двуместным и т.д. Предикаты, содержащие одну переменную , будем обозначать через или .
Над предикатами можно выполнять такие же логические операции, как и над высказываниями.
Определение 1.8. Отрицанием предиката , определенного на множестве , называется предикат (определенный на том же множестве ), значением которого для любого из является отрицание высказывания .
Определение 1.9. Конъюнкцией предикатов и , имеющих общую область определения , называют предикат такой, что для любого из значением этого предиката является конъюнкция высказываний и .
Определение 1.10. Дизъюнкцией предикатов и , заданных на одном и том же множестве , называют предикат такой, что для любого значения из значением этого предиката является дизъюнкция высказываний и .
Определение 1.11. Импликацией предикатов и , заданных на одном и том же множестве , называется предикат такой, что для любого значения из значением этого предиката является импликация высказываний и .
Не следует думать, что всякое предложение, содержащее переменную, является предикатом. Например, предложение «для всех имеет место равенство » является высказыванием, и притом истинным высказыванием. Причина того, что предложение с переменной стало высказыванием заключена в словах «для всех », которыми связана переменная.
Сделаем обобщение. Пусть на множестве задан предикат . Тогда предложение «для всех истинно» является высказыванием и имеет специальное обозначение:
.
Символ называют квантором всеобщности, а присоединение его к предикату называют «навешиванием квантора на предикат».
Другим предложением с переменной, часто встречающимся в математике, является: «Во множестве Х существует такой элемент х, что Р(х) – истинно». Это предложение также является высказыванием и имеет специальное обозначение:
.
Здесь символ называют квантором существования.
Обратим внимание на то, что операция «навешивания кванторов» применима только к предикатам и неприменима к высказываниям.
Рассмотрим некоторые наиболее важные преобразования предложений, содержащих кванторы.
Высказывание можно рассматривать как множество высказываний P(a) для каждого а из Х, и каждое высказывание P(a) будет истинным. Но тогда будет истинной и конъюнкция этих высказываний. С другой стороны, истинность конъюнкции любого числа высказываний означает истинность каждого из высказываний, а, следовательно, можно записать
.
Аналогично, высказывание можно рассматривать как множество высказываний P(a) для каждого а из Х, и среди этих высказываний найдется хотя бы одно истинное. Но тогда будет истинной дизъюнкция всех таких высказываний. С другой стороны, истинность дизъюнкции любого числа высказываний означает истинность хотя бы одного из них, т.е.
.
Следовательно, учитывая законы де Моргана для бесконечного числа высказываний, получим
Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ:
Предикаты. Кванторы.
Что будем делать с полученным материалом:
Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:
Правила вывода.
Среди различных сложных высказываний особое место занимают высказывания, которые являются истинными при любых значениях истинности входящих в них простых высказываний. Такие сложные
Сечения Дедекинда во множестве рациональных чисел.
Основой для построения любой теории действительного числа является множество рациональных чисел. Поэтому считаем, что нам дано множество со всеми его свойствами.
Числовые множества и их границы.
Числовым множеством будем называть любое множество, элементами которого являются действительные числа. Рассмотрим примеры числовых множеств.
1)Отрезок [a,b
Модуль действительного числа и его свойства.
Модулем, или абсолютной величиной действительного числа (обозначение ) назовем само число , если оно неотрицательно и число , если отрицательно. Таким образом,
.
Р
Элементарные функции. Свойства функций.
Функции , где , называют основными элементарными функциями.
Определение 3.2. Суммой (произведением) функций , , , определенных на од
Числовые последовательности.
Рассмотрим числовую функцию , областью определения которой является множество натуральных чисел , т.е. соответствие
Такие функции называют функциями натурал
Подпоследовательности. Частичные пределы.
Пусть имеем последовательность , т.е. соответствие
Выберем во множестве , не меняя порядка следования членов, некоторое бесконечное подмножество и рассмотри
Число e.
Рассмотрим последовательность . Исследуем ее на сходимость. Используя формулу бинома Ньютона:
,
где , получим
= = .
Заметим, что при каждый и
Предел функции.
Пусть дана функция действительного аргумента , определенная на . Распространим определение предела функции натурального аргумента на функцию действительного аргумента при .
Односторонние пределы функции.
При определении предела функции в точке ничего не говорилось о том, как аргумент приближается к . Он может приближаться к монотонно возрастая, т.е. слева от ; монотонно убывая, т.е.
Непрерывность элементарных функций.
Покажем сначала, что основные элементарные функции непрерывны в любой точке своей области определения.
1)Непрерывность функции была установ
ТЕОРЕМА 3.29. (второй замечательный предел).
ДОКАЗАТЕЛЬСТВО. Рассмотрим сначала случай, когда . Поскольку нас интересует поведение функции вблизи точки , то можно ограничиться рассмотрением только положительны
Равномерная непрерывность функций.
Рассмотрим функцию , непрерывную в некоторой точке промежутка . Это значит, что
.
Заметим, что, вообще говоря, выбираемое зависит не только от , но и от точки . Од
Новости и инфо для студентов