- •Оглавление
- •Глава 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. Исчисление предикатов
- •Литература
- •Предметный указатель
4.4.4. Основные законы формальной логики. Логические основы аргументации
Науке издавна известны четыре логических закона (лат. Logos – мысль, мышление, разум) [5]. Еще вIVв. до н.э. известный греческий мыслитель Аристотель открыл три логических закона:
Закон тождества– закон, согласно которому всякое понятие или суждение в процессе некоторого рассуждения должно оставаться тождественным самому себе. Иными словами, в процессе рассуждения нельзя произвольно изменять содержание некоторого понятия, того или иного термина или смысл некоторого высказывания.
Закон непротиворечия: два противоположных высказывания об одном и том же предмете не могут быть одновременно истинными в одном и том же отношении или смысле.
Закон исключения третьего: из двух противоречащих друг другу высказываний одно истинно, а второе – ложно.
В XVIIв н.э. немецкий философ и математик Лейбниц открылзакон достаточного основания, который требует, чтобы всякое истинное высказывание было достаточно обосновано другими истинными же высказываниями.
Действию этих законов подчиняются все наши мысли, независимо от конкретного содержания этих мыслей.
Доказательствомназывается логическое действие, в процессе которого истинность какой-либо мысли обосновывается с помощью других мыслей.
Всякое доказательство состоит из трех частей: тезиса, аргументовидемонстрации(способ доказательства) . По способу ведения доказательства бываютпрямыеикосвенные.
Рассмотрим условное высказывание AB, гдеA– конъюнкция посылок,B– заключение. Иногда удобнее вместо доказательства истинности этого условного высказывания установить логическую истинность некоторого другого высказывания, равносильного исходному. Такие формы доказательства называютсякосвенными методами доказательства.
Одним из них является способ доказательства от противного. Предположим, что утверждениеABложно. Тогда, исходя из этого предположения, приходим к противоречию и доказываем, что некоторое утверждение (соответствующее высказываниюC) выполняется и не выполняется одновременно. Применимость этой формы косвенного метода доказательства оправдывается равносильностьюAB=(AB)(CC)=(AB)(CC).
Существуют и другие схемы доказательства от противного:
AB=(AB)A,
AB=(AB)B.
Доказательство по закону контрапозиции, основано на равносильностиAB=BA, т.е. вместо истинностиABдоказывается истинностьBA.
Разделительное доказательство (метод исключения) – косвенное доказательство, в котором истинность тезиса устанавливается путем последовательного доказательства ложности (путем последовательного исключения из рассмотрения) всех членов разделительного суждения, кроме одного, которое и является тезисом. Разделительная посылка при этом должна содержать все возможные варианты.
В классической математике теоремами называют положения, или утверждения, устанавливаемые при помощи доказательства, основанного либо на аксиомах, либо на уже доказанных утверждениях.
1. Теоремы и
называютсявзаимно обратными.
2. Теоремы и
называютсявзаимно противоположными.
3. Если теорема верна, то суждениеназываетсядостаточнымусловием для, а суждение–необходимымусловием для.
В тех случаях, когда в теореме содержатся слова «необходимо и достаточно» («тогда и только тогда», «в том и только в том случае» и т.п.), доказательство обязательно должно состоять из доказательства необходимости и из доказательства достаточности, т.е. доказательства двух теорем прямой и обратной.
Прямая теорема и теорема противоположная обратной либо обе истинны, либо обе ложны, т.е. имеет место равносильность
Как уже говорилось, вместо прямого доказательства теоремы можно построить косвенное доказательство. Например в качестве доказательства прямой теоремы доказать теорему, противоположную обратной.