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