- •Раздел 1. Высказывания и операции над ними. Формулы алгебры высказываний. Классификация формул
- •1.1. Высказывания и операции над высказываниями
- •1.2. Формулы алгебры высказываний
- •1.3.Классификация формул
- •1.4. Значение тавтологий
- •1.5.Основные правила получения тавтологий
- •Раздел 2. Логическая равносильность формул
- •2.1. Отношение равносильности
- •2.2 Законы логики
- •2.3. Упрощение формул.
- •2.4. Равносильные преобразования. Упрощение формул
- •Раздел 3. Нормальные формы для формул алгебры высказываний
- •3.1 Нормальные формы
- •3.2 Совершенные нормальные формы
- •3.4 Получение скнф и сднф с помощью таблиц истинности
- •Раздел 4. Логическое следование
- •4.1 Логическое следование
- •Раздел 5. Применение алгебры высказываний в логико - математической практике
- •5.1 Получение следствий из данных посылок.
- •5.2. Получение следствий, содержащих заданные переменные.
- •5.3. Решение логических задач методом рассуждений.
- •5.4.Методы решение логических задач
- •Раздел 6. Исчисление высказываний.
- •6.1. Понятие переключательной схемы.
- •Раздел 7. Логика предикатов.
- •7.1. Понятие предиката
- •7.2. Способа задания предиката
- •7.3. Множество истинности предикатов
- •7.4. Язык логики предикатов
- •7.5. Следование и включение
- •7.6. Понятие отношений. Свойства отношений.
- •Раздел 8. Исчисление предикатов
- •8.1.Кванторы общности и существования
- •8.2. Квантификация многоместной высказывательной формы.
- •8.3. Отрицание предложений кванторами.
- •8.4. Численные кванторы
- •8.5. Символическая запись определений и теорем.
- •Раздел 9. Алгоритмы. Свойства алгоритмов.
- •9.1 Интуитивное понятие алгоритма.
- •9.2 Свойства алгоритмов
- •Раздел 10. Основная формализация (Машина Поста и мнр).
- •10.1 Машина Поста
- •10.2 Уточнение понятия алгоритма
- •Раздел 11. Основные формализации (мт и на)
- •11.1 Машина Тьюринга (мт)
- •11.2 Нормальные алгоритмы Маркова
- •11.3 Механизм работы нам:
Раздел 8. Исчисление предикатов
8.1.Кванторы общности и существования
- квантор общности, используется вместо слов: <для любого>, <для каждого>, <для всех>.
(x2 + y + 1 > 0) - <для всех x верно, что x2 + y + 1 > 0>
- квантор существования, используется вместо слов: <существует>, <найдется>.
(5 + x =5) - <существует такое x, что 5 + x = 5>
Кванторы применяются для того, чтобы перейти от высказывательной формы к истинному высказыванию, эта операция называется квантификацией.
8.2. Квантификация многоместной высказывательной формы.
Квантификация - переход от высказывательной формы к истинному высказыванию.
Рассмотрим двуместную высказывательную форму и всевозможные варианты её квантификации:
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
(1) ≡ (2)
(3) ≡ (4)
Одноименные кванторы можно менять местами
(6) => (5)
(8) => (7)
Если высказывательная форма зависит от n переменных, то при квантификации высказывательной формы по xi переменной, xi переменная становится связанной (связана квантором), при этом все остальные называются свободными.
Чтобы перейти от высказывательной формы к истинному высказыванию нужно проквантифицировать её n раз по каждой переменной.
8.3. Отрицание предложений кванторами.
Рассмотрим такой пример: (отрицание предложения необходимо начинать со слов <неверно, что:>) - <неверно, что все ученики отличники>. Попытаемся перефразировать: <среди учеников есть хотя бы неотличник> или , т. е. ≡ . Ещё один пример: ≡ .
Правила построения отрицания предложения с кванторами:
- каждый квантор меняем на противоположный;
- отрицание переносим на высказывательную форму.
Пример: Предложение: <в каждой стране найдётся город, у всех жителей которого глаза одинакового цвета>.
Запись кванторами: (глаза одинакового цвета)
Отрицание кванторами: (неверно, что глаза одинакового цвета)
Отрицание предложение: <существует страна, в каждом городе которой найдётся житель с глазами разного цвета>.
8.4. Численные кванторы
а) Не менее n
б) Не более n
в) Ровно n
1) n = 1
a) - кубическое уравнение имеет не менее одного корня.
б) - две прямые пересекаются не более чем в одной точке
в) - линейное уравнение имеет один корень
2) n = 2
а) - в треугольнике находится не менее двух острых углов
б) - квадратное уравнение имеет не более двух действительных корней
в) - в прямоугольном треугольнике ровно два острых угла.
Аналогичным образом можно сделать и для n = 3, 4 и так далее.
8.5. Символическая запись определений и теорем.
Символическая запись используется для того, чтобы люди, находящиеся в разных странах мира и говорящие на разных языках, могли понимать друг друга.
Пример: число A называется пределом числовой последовательности тогда и только тогда, когда для любого E больше <0> существует такое число N, что для любого n, где n больше либо равно N, выполняется условие, что модуль разности числа A и любого числа последовательности меньше E.
Вопросы для контроля:
Кванторы общности и существования.
Квантификация многоместных высказывательных форм.
Отрицание предложений с кванторами.
Численные кванторы.
Символическая запись определений и теорем.