- •Математическая логика и теория алгоритмов
- •230102 - Автоматизированные системы
- •1. Общие сведения
- •2. Рекомендуемая литература
- •3. Программа и методические указания
- •3.1 Алгебра логики
- •3.2 Нормальные формы формул
- •3.2.1 Содержание темы
- •3.2.2 Методические указания
- •3.3 Логические рассуждения
- •3.3.1 Содержание темы
- •3.3.2 Методические указания
- •3.4 Логика предикатов
- •3.4.1 Содержание темы
- •3.4.2 Методические указания
- •3.5 Основы теории алгоритмов
- •3.5.1 Содержание темы
- •3.5.2 Методические указания
- •Вычислимые, частично рекурсивные и общерекурсивные функции
- •4. Методические указания к выполнению практических работ
- •4.1 Формулы алгебры высказываний
- •4.2 Равносильные преобразования формул логики высказываний
- •4.3 Логические рассуждения
- •4.4 Логика предикатов
- •4.5 Теория алгоритмов
- •Содержание
3.3 Логические рассуждения
3.3.1 Содержание темы
Понятие логического следования, критерий логического следования. Схема рассуждения, правильность логического рассуждения. Способы проверки правильности схем. Способы косвенного доказательства теорем.
Литература: [1, 2, 3,5].
3.3.2 Методические указания
Пусть даны две формулы . Формулаявляется логическим следованием формул, если, придавая значения переменным, от которых зависят все рассматриваемые формулы, всякий раз, когда истинны одновременно все формулы, истинна и формула.
Для логического следования используется запись:
├─.
Логически правильное рассуждение будем записывать в виде схемы рассуждения:
Для проверки наличия логического следования достаточно построить таблицу истинности.
Три способа проверки правильности логического рассуждения:
Применить определение:
а) записать все посылки и заключения в виде формул логики высказываний;
б)составить конъюнкцию формализованных посылок ;
в) проверить по таблице истинности, следует ли заключение из формулы .
Использовать Признак логического следования:
Формула логически следует из формулытогда и только тогда, когда формулаявляется тавтологией.
Проверка правильности логического рассуждения сводится к ответу на вопрос: является ли формула тавтологией? На этот вопрос можно ответить, построив таблицу истинности для формулы, или сведя эту формулу с помощью равносильных преобразований к известной тавтологии.
Применить сокращенный способ проверки правильности логического рассуждения.
Рассуждение строится «методом от противного»:
Рассуждение является неправильным, если найдется набор значений переменных такой, что посылкаА() =1, а заключениеВ() =0.
Сокращенный метод заключается в следующем.
Пусть требуется проверить правильность логического следования формулы Виз посылок.
Предположим, что существует набор , при котором все посылки истинны, а заключение ложно, и попытаемся найти этот набор. Если такой набор будет обнаружен, то наше предположение оправдалось, и рассуждение является логически неправильным. Если в процессе поисков набора придем к противоречию, то наше предположение ошибочно, а рассуждение является логически правильным.
Проверка является ли тавтологией формула называетсяпрямым методомдоказательства теорем. Доказательство может быть икосвенным, когда вместо формулымы рассматриваем другую, но равносильную ей формулу.
Для каждого предложения можно составить три таких предложения:
– обратное данному предложение;
– противоположное данному;
–обратно-противоположное данному.
Закон контрапозиции: .
Согласно данному закону:
Два предложения вида иодновременно истинны либо одновременно ложны;
Предложение, обратно противоположное какой-либо теореме, также является теоремой;
Вместо данной теоремы можно доказывать обратно-противоположную теорему.
Вопросы для самопроверки:
Что означает предложение: ”Из формулы Pлогически следует формулаD”?
Покажите по определению, что из формулы логически следует формула .
Перечислите способы, которыми можно доказать правильность логического рассуждения.
Обоснуйте сокращенный способ проверки правильности логического рассуждения.
Приведите примеры косвенных доказательств теорем.