Тверской государственный университет
Опубликован: 03.11.2014 | Доступ: свободный | Студентов: 3255 / 72 | Длительность: 14:38:00
Лекция 21:

Законы логики

< Лекция 1 || Лекция 21

Смотреть лекцию на: ИНТУИТ | youtube.com

Если проблемы с видео, нажмите выше ссылку youtube

Get Adobe Flash Player

Мы уже достаточно много говорили и приводили примеры эквивалентности формул логики высказываний. Наиболее важные эквивалентности называются законами логики. Законы выражают сущность корректных рассуждений.

Приведу основные законы логики высказываний.

1. Коммутативность дизъюнкции и конъюнкции:

X | Y \equiv Y | X

X & Y \equiv Y & X

2. Дистрибутивный закон относительно дизъюнкции и конъюнкции:

X | (Y & Z) \equiv (X | Y) & (X | Z)

X & (Y | Z) \equiv (X & Y) | (X & Z)

Дизъюнкцию часто называют логическим сложением, а конъюнкцию – умножением. Коммутативный закон для этих операций аналогичен соответствующему закону для арифметических операций сложения и умножения. Сравните:

x + y = y + x

x * y = y * x

Что же касается дистрибутивного закона, то для арифметики он справедлив только в одной форме:

x * (y + z) = (x * y) + (x * z)

Однако для арифметики неверно, что:

x + (y * z) = (x + y) * (x + z)

Законы поглощения позволяют понять, почему дистрибутивный закон в такой форме справедлив для логических переменных

3. Поглощение:

X & (X | Y) \equiv X

X | (X & Y) \equiv X

Законы Отрицание отрицания, Непротиворечивости и Исключающего третьего – это законы, исследуемые еще Аристотелем, являющиеся частью Аристотелевой логики.

4. Отрицание отрицания:

\neg (\neg X) \equiv X

5. Непротиворечивость:

X & \neg X \equiv false

6. Исключающее третье:

X | \neg X \equiv true

7. Законы де-Моргана:

\neg (X | Y) \equiv \neg X & \neg Y

\neg (X & Y) \equiv \negX | \neg Y

8. Упрощение:

X & X \equiv X

X | X \equiv X

X & true \equiv X

X & false \equiv false

X | true \equiv true

X | false \equiv X

9. Замена импликации

X \to Y \equiv \neg X | Y

10. Замена тождества

(X \equiv Y) \equiv (X & Y) | (\neg X & \neg Y)

Проверить истинность всех законов можно стандартным способом, построив таблицы истинности.

Вычисление формул

Логические формулы, называемые также логическими выражениями, строятся как уже говорилось, из констант и логических переменных, соединяемыми знаками логических операций и скобками. В качестве логических операций используются базисные операции – отрицание, конъюнкция, дизъюнкция, Исключающее Или, импликация и эквивалентность. Из определения этих операций ясно, каков будет результат операции над двумя операндами. Чтобы корректно вычислить значение всей формулы, нужно понимать, каков порядок выполнения операций, поскольку они имеют разный приоритет. Как всегда управлять порядком можно, используя расстановку скобок, поскольку выражение в скобках имеет наивысший приоритет. Приоритеты логических операций напоминают приоритет арифметических операций, где унарные знаки + и – имеют наиболее высокий приоритет, следующим приоритетом обладают операции умножения и деления, затем сложения и вычитания.

Для логических операций приоритеты следующие:

  • Отрицание;
  • Конъюнкция;
  • Дизъюнкция, Исключающее Или;
  • Импликация;
  • Эквивалентность.

Пример: Вычислить значение формулы F на кортеже <А =1, B =1, C = 1, D = 0>:

F: A \to B & C \to D

В соответствии с приоритетами первой необходимо выполнить конъюнкцию B и С, что дает 1, затем слева направо выполнить две операции следования. Результатом первой импликации будет 1 (истина), второй – ложь. Окончательный результат: F = 0.

Расстановка скобок может изменить порядок выполнения операций. Вычислим выражение:

(A \to B) & (C \to D)

Результат выражения на данном кортеже не изменился, но скобки позволяют уточнить намерения автора. Не пренебрегайте скобками.

< Лекция 1 || Лекция 21
Сергей Волков
Сергей Волков

Приведу пример из лекции "Знания в школе передавались устно, к счастью, один из учеников Пифагора составил три книги с записями его учения." Книги же начали делать гораздо позже. Или имеется ввиду, что сейчас этот объем знаний помещается в три книги?

Оксана Тычинская
Оксана Тычинская

У меня тот же вопрос, что и у Евгения: я решила задачу методом перебора, причем правильного ответа в предложенных вариантах теста к теме номер 2 не оказалось. Как предлагается решить эту задачу методом индукции - непонятно. Почему в тесте отсутсвует правильный ответ (а ведь посчитать число простых чисел в определенном диапазоне совсем несложно) - тоже непонятно.

Юрий Васильев
Юрий Васильев
Россия, г. Москва
Анатолий Федоров
Анатолий Федоров
Россия, Москва, Московский государственный университет им. М. В. Ломоносова, 1989