- •Оглавление
- •Вводная часть
- •1.2. Алгебра высказываний. Основные законы математической логики.
- •Операция отрицания, или отрицание высказывания
- •Операция конъюнкции, или конъюнкция высказываний.
- •Операция дизъюнкции, или дизъюнкция высказываний.
- •Операция эквивалентности, или эквивалентность высказываний.
- •Операция импликации, или импликация высказываний.
- •Порядок старшинства операций
- •5. Основные законы математической логики.
- •6. Парадоксы логики (семантические парадоксы), или «правдоподобные» рассуждения, приводящие к противоречивым результатам.
- •7. Основная цель математической логики – обеспечить систему формальных обозначений для рассуждений, встречающихся не только в математике, но и в повседневной жизни.
- •1.3. Числа
- •2. Матрицы. Действия с матрицами
- •2.1. Вычисление определителей
- •2.2. Вычисление обратной матрицы
- •2.3. Решение системы линейных уравнений
- •Решение системы линейных уравнений методом подстановки
- •Решение системы методом почленного сложения (вычитания) уравнений системы
- •Решение системы по правилу Крамера
- •Решение системы с помощью обратной матрицы
- •Решение системы линейных уравнений методом Гаусса (последовательного исключения неизвестных)
- •Несовместные системы. Системы с общим решением. Частные решения
- •3. Комплексные числа
- •Понятие комплексного числа
- •Алгебраическая форма комплексного числа. Сложение, вычитание, умножение и деление комплексных чисел
- •Тригонометрическая и показательная форма комплексного числа
- •Возведение комплексных чисел в степень
- •Извлечение корней из комплексных чисел
- •4. Математические формулы и графики
- •Для того чтобы успешно решать задачи по высшей математике необходимо:
- •Математические формулы и таблицы
- •Графики и основные свойства элементарных функций
- •Как правильно построить координатные оси?
- •Графики и основные свойства элементарных функций График линейной функции
- •График квадратичной, кубической функции, график многочлена
- •Кубическая парабола
- •График функции
- •График гиперболы
- •График показательной функции
- •График логарифмической функции
- •Графики тригонометрических функций
- •Графики обратных тригонометрических функций
Порядок старшинства операций
Новые высказывания могут быть образованы при помощи нескольких или даже всех пяти логических операций, причём каждая из операций может применяться несколько раз.
Если в выражении встречаются различные логические операции, то порядок старшинства операций (их приоритет) следующий (понижение приоритета слева направо): . Это означает, что сначала выполняются операции отрицания, затем конъюнкции и т.д. Для нарушения порядка выполнения логических операций служат скобки.
Истинность или ложность сложного высказывания можно установить, решая задачу «по действиям».
Рассмотрим примеры.
Задача 2. Пусть высказывания А и В имеют значения «истина», а высказывания C и D – «ложь». Какое значение имеет высказывание?
Решение.
В соответствии с порядком старшинства логических операций будем решать задачу «по действиям», используя таблицы истинности логических операций.
1) - «истина».
2) - «ложь».
3) - «истина».
4) - «ложь».
5) - «ложь».
Задача 3. Пусть высказывания А и В имеют значения «истина», а высказывания C и D – «ложь». Какое значение имеет высказывание ?
Решение.
1) - «истина».
2) - «ложь».
3) - «ложь».
4) - «истина».
5) - «истина».
Если в выражении присутствуют арифметические операции, операции сравнения и логические операции, то приоритет следующий:
сначала выполняются арифметические операции; порядок старшинства арифметических операций (слева направо): умножение, деление, сложение, вычитание;
затем – операции , и операции сравнения (, , , ) в том порядке, в каком они встречаются в выражении;
наконец – логические операции в соответствии с приоритетом (понижение приоритета слева направо): .
5. Основные законы математической логики.
Коммутативность: , .
Ассоциативность: , .
Дистрибутивность: , .
Законы де Моргана: , .
Закон поглощения: .
Закон идемпотентности: .
«истина» = А, «ложь» = «ложь»
«истина» = «истина», «ложь» = А.
Закон противоречия: «ложь».
Закон исключения третьего: «истина».
Закон двойного отрицания: .
6. Парадоксы логики (семантические парадоксы), или «правдоподобные» рассуждения, приводящие к противоречивым результатам.
Хотя логика и является основой всех остальных наук, тем не менее, присущее ей, наряду с фундаментальностью, свойство самоочевидности привело к отсутствию глубоких исследований вплоть до XIX столетия, когда интерес к логике оживился под влиянием неевклидовых геометрий (геометрии Лобачевского), а также необходимости строгого обоснования математического анализа. Особый же всплеск внимания к логике возник на исходе XIX века: мир был поражён открытием парадоксов логики, то есть рассуждений, приводящих к противоречиям. Эти парадоксы обычно называют семантическими парадоксами.
Парадокс лжеца. Некто утверждает: «Я лгу». Если утверждение «я лгу» истинно («я лгу» = «истина»), то это означает, что он действительно лжёт о том, что лжёт, т.е. утверждение «я лгу» – ложно. Получается, что высказывание «я лгу» и истинно, и ложно одновременно.
Парадокс брадобрея. Командир полка назначает одного из солдат брадобреем, приказывая при этом брить тех и только тех солдат, которые не бреются сами. Что же делать брадобрею с самим собой? Если он – брадобрей – будет бриться сам, то это означает, что брадобрей бреет того, кто бреется сам. Он нарушит приказ командира. Но если он не будет сам бриться, значит, его должен побрить брадобрей, т.е. он сам. Получается, что он должен брить и не брить себя одновременно.