- •Оглавление
- •Глава 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. Исчисление предикатов
- •Литература
- •Предметный указатель
3.3. Применение к естественному языку
В формальной логике изучается строение сложных логических высказываний, выраженных формулами, вне зависимости от содержания составляющих их простых высказываний. Очевидно, что содержательных интерпретаций у любой формулы бесконечно много. Переводя выражения обычного языка в логические формулы, мы лишаемся некоторых оттенков смысла, но зато выигрываем в точности.
В обычном языке мы не употребляем скобок для указания того, как нужно сочетать различные части сложной фразы, используя иногда взамен довольно тонкие средства. «Если Джонс присутствует (Д) или если Уильямс выскажется за наше предложение (У) и Старк не станет возражать (С), то наше предложение будет принято (П)» Как надо переводить? (а) (ДУ)СП или так: (в) Д(УС)П. В письменном языке отсутствие запятой перед «и» решит в пользу (в); в устной же речи, чтобы выразить именно (а), надо заменить «и» на «ну и конечно, если» [4]. Как видим, перевод обычного языка в логические символы не является механическим делом. Переводчик прежде всего должен как следует понять переводимый текст. Если автором является он сам, он должен выбрать такую интерпретацию, какую имел в виду. Если же автором является кто-то другой, то при наличии сомнительных слов необходимо восстановить намерения автора.
Хотя в исчислении высказываний ABравносильноBA, фразы: «у Джейн родился ребенок, и она вышла замуж» и «Джейн вышла замуж, и у нее родился ребенок» будут пониматься знакомыми Джейн по-разному. В этом примере порядок высказываний в конъюнкции наводит на мысль о следовании во времени или о причинно-следственной связи. Следование во времени можно выразить с помощью классической логики, если пользоваться символизмом исчисления предикатов. Перевод же посредствомABпроще и достаточен для логического анализа, если в нем не участвует идея времени (или причинности).
Список наиболее часто встречающихся выражений, соответствующих логическим связкам
AB |
A и B Не только A, но и B B, несмотря на A Как A, так и B A вместе с B A, в то время как B |
AB |
A или B, или оба A или B A, если не B A и/или B (в юридических текстах)
|
AB |
Если A, то B Коль скоро A, то B В случае A имеет место B Для B достаточно A Для A необходимо B A, только если B B, если A A влечет B A имплицирует B |
A |
Не A (или то, что получится в результате вставки частицы "не" перед глаголом – основным или вспомогательным) A не имеет места A не верно |
(AB) |
Ни A, ни B | ||
AB |
A, если и только если B Если A, то B, и обратно A, если B, и B, если A Для A необходимо и достаточно B A равносильно B A тогда и только тогда, когда B |
AB |
A либо B, но не оба Или A, или B Либо A, либо B [иногда] A, если не B [иногда] A, кроме случая, когда B [иногда] A или B [иногда] |
Другая трудность перевода состоит в двусмысленности определенных терминов, когда их надо переводить связками:
Составное высказывание: «Сегодня понедельник или вторник» состоит из двух простых:
A – «Сегодня понедельник»;B – «Сегодня вторник».
Высказывания A,Bсоединены связкой «или» очевидно в разделительном смысле, т.е. –. Таким образом, данное высказывание представимо логической формулойAB.
Высказывание «Идет дождь или снег» также состоит из двух простых, соединенных связкой «или»:
A – «Идет дождь»;B – «Идет снег».
Но в отличие от предыдущего связка «или» использована здесь не в разделительном смысле, поэтому – и логическая формула имеет видAB.
Если AиBтаковы, что известно или неявно предполагается(AB), то включительное и исключительное «AилиB» равносильны и естественно употреблять наиболее простой перевод, т.е.AB. Точно так же, если в лекции перед математической аудиторией сказать «n – четное (A) или нечетное простое число (B)», то безразлично, что имелось в виду:ABили (AB)(AB). Но если аудитория не знает, что число не может быть чётным и нечётным одновременно, это перестает быть безразличным.