- •Оглавление
- •Глава 3. Логика высказываний 78
- •Глава 4. Логика предикатов 90
- •Введение
- •I. Системы счисления
- •1.1. Непозиционные системы счисления. Римская система счисления
- •1.2. Позиционные системы счисления
- •1.3. Взаимосвязь систем счисления
- •I. Алгоритм перевода целого числа Aq из q-ичной системы счисления в число Bd d-ичной системы
- •II. Алгоритм перевода целого числа Ad из d-ичной системы счисления в число Bq q-ичной системы
- •III. Алгоритм перевода правильных дробей из q-ичной системы счисления в d-ичную с вычислениями в d-ариф-метике
- •IV. Алгоритм перевода правильных дробей из d-ичной системы счисления в q-ичную с вычислениями в d-арифметике
- •V. Алгоритм перевода чисел из d-ичной системы счисления в dn-ичную систему счисления
- •VI. Алгоритм перевода чисел из dn-ичной системы счисления в d-ичную систему счисления.
- •1.4. Двоичная система счисления
- •1.4.1. Двоичная арифметика
- •1.4.3. Вычитание с использованием двоичного дополнения. Умножение
- •Алгоритм вычитания целых десятичных чисел
- •Алгоритм отыскания двоичного дополнения числа
- •Теория множеств
- •Глава 1. Множества
- •1.1. Основные определения
- •1.2. Основные операции теории множеств
- •Старшинство операций (операции даны по убыванию приоритетов)
- •1.4. Диаграммы Венна
- •1.5. Основные законы теории множеств
- •1.6. Декартово произведение и отношения
- •Глава 2. Бинарные отношения
- •2.1. Основные определения
- •Глава 3.Функции и операции
- •Примеры функций
- •Операции над функциями
- •Свойства бинарных операций
- •Глава 4.Алгебраические структуры
- •III. Математическая логика
- •Глава 1. Переключательные функции
- •1.1. Основные определения
- •Переключательные функции двух аргументов
- •1.2. Основные теоремы (эквивалентные соотношения) переключательных функций
- •Глава 2.Булева алгебра
- •2.1. Основные определения
- •Эквивалентные соотношения в булевой алгебре
- •2.2. Минимизация булевых функций
- •2.3. Аналитические методы нахождения мднф Метод Квайна
- •Формулы метода
- •Алгоритм метода
- •Метод Блейка
- •Формулы метода
- •Алгоритм метода
- •Сравнение методов Квайна и Блейка
- •Построение мднф из Сокр.Днф с помощью таблицы Квайна
- •Алгоритм получения fМднФс помощью таблицы Квайна
- •2.4. Графическая минимизация логических функций
- •Метод карт Карнапа
- •Алгоритм минимизации по карте Карнапа
- •2.5. Полнота систем булевых функций
- •Классы Поста
- •Полиномы Жегалкина
- •Глава 3.Логика высказываний
- •3.1. Основные понятия
- •3.2. Алгебра логики высказываний
- •3.3. Применение к естественному языку
- •Список наиболее часто встречающихся выражений, соответствующих логическим связкам
- •3.4. Исчисление высказываний (ив)
- •Глава 4.Логика предикатов
- •Определения кванторных высказываний
- •4.1. Алгебра логики предикатов
- •4.2. Выполнимость и общезначимость
- •4.3. Равносильность формул
- •Приведенные формулы
- •4.4. Применение логики предикатов к естественному языку
- •4.4.1. Суждения
- •Виды категорических суждений
- •4.4.2. Исчисление одноместных предикатов как исчисление классов. Теория категорических суждений и силлогизмов Аристотеля
- •Законы формальной логики Аристотеля:
- •4.4.3. Умозаключения
- •Наиболее распространенные схемы правильных дедуктивных рассуждений
- •4.4.4. Основные законы формальной логики. Логические основы аргументации
- •4.5. Исчисление предикатов
- •Литература
- •Предметный указатель
Наиболее распространенные схемы правильных дедуктивных рассуждений
Название |
Обозначение схемы |
Пояснение |
Правило заключения – утверждающий модус (Modus Ponens) |
|
Если из высказывания A следует высказывание B и справедливо (истинно) высказывание A, то справедливо B |
Правило отрицания – отрицательный модус (Modus Tollens) |
|
Если из A следует B, но высказывание B неверно, то неверно A |
Правила утверждения-отрицания (Modus Ponendo-Tollens) |
; |
Если справедливо или высказывание A, или B (в разделительном смысле) и истинно одно из них, то другое ложно |
Правила отрицания-утверждения (Modus Tollendo-Ponens) |
; |
Если истинно или A, или B (в разделительном смысле) и неверно одно из них, то истинно другое |
; |
Если истинно A или B (в неразделительном смысле) и неверно одно из них, то истинно другое | |
Правило транзитивности (упрощенное правило силлогизма) |
|
Если из A следует B, а из B следует C, то из A следует C |
Закон противоречия |
|
Если из A следует B и B, то неверно A |
Правило контрапозиции |
|
Если из A следует B, то из того, что неверно B, следует, что неверно A |
Окончание табл. 10
Название |
Обозначение схемы |
Пояснение |
Правило сложной контрапозиции |
|
Если из A и B следует C, то A и C следует B |
Правило сечения |
|
Если из A следует B, а из B и C следует D, то из A и C следует D |
Правило импортации (объединения посылок) |
|
Если из A следует что из B следует C, то из A и B следует C |
Правило экспортации (разъединения посылок) |
|
Если из A и B следует C, то из A следует что из B следует C |
Разбор случаев |
|
Если из A следует C, и из B следует C,то из A и B следует C |
Правила дилемм |
; ;; |
Пример 44.Определить, являются ли логически правильными следующие заключения:
1. «Этот человек постоянно живет в Москве или Новосибирске. Он не живет в Москве. Следовательно, он живет в Новосибирске».
2. «Если Иванов отсутствовал в кинотеатре, то он не видел фильма. Иванов не видел фильма. Следовательно, он отсутствовал в кинотеатре».
Для того чтобы выписать схемы рассуждений, обозначим в скобках каждое простое высказывание.
1. «Этот человек постоянно живет в Москве (М) или Новосибирске (Н). Он не живет в Москве (М). Следовательно, он живет в Новосибирске (Н).» Рассуждение правильное, так как его схема представляет правило Modus Tollendo Ponens.
2. «Если Иванов отсутствовал в кинотеатре (A), то он не видел фильма (B). Иванов не видел фильма (B). Следовательно, он отсутствовал в кинотеатре (A).»
Схема второго рассуждения . Эта наиболее часто употребимая схема неправильных рассуждений.
Решим эту же задачу, используя аппарат алгебры логики:
Первому умозаключению будет соответствовать логическая формула ((МН)М)Н, а второму – формула ((AB)B)A.
М |
Н |
МН |
М |
(МН) М |
((МН) М)Н |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
A |
B |
AB |
(AB)B |
((AB)B)A |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
1 |
1 |
Из таблиц истинности этих формул видно, что первая формула ТИФ, а вторая нет. Поэтому правильным является только первое умозаключение.
Хотя такой способ проверки правильности рассуждений очень прост и нагляден, на практике ограничиться им нельзя. В разговорной речи при построении рассуждений мы не имеем возможности проверять каждое умозаключение на бумаге. Поэтому важно знать основные схемы правильных умозаключений и при рассуждении использовать только те схемы, в правильности которых вы уверены (если, конечно, целью беседы не является преднамеренный обман (запутывание) собеседника). При анализе рассуждений (неформальных доказательств) также удобно помнить (быстро распознавать) наиболее часто встречающиеся схемы правильных рассуждений (они приведены в табл. 10).
Если среди суждений умозаключения есть предикаты, определенные на бесконечном множестве, то способ проверки правильности рассуждений с использованием таблиц истинности просто невозможен.
Ограничив использование логических связок до набора логических связок булевой алгебры, можно, используя аппарат булевой алгебры, легко упрощать громоздкие умозаключения (строить соответствующие минимальные формы).