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

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

I. Законы формальной логики 1.Закон тождества: в процессе определённого рассуждения всякое понятие и суждение должны быть тождественны самим себе. Аристотель

I. Законы формальной логики 2.Закон непротиворечия: невозможно, чтобы одно и то же в одно то же время было и не было присуще одному и тому же в одном и том же отношении. То есть невозможно что-либо одновременно утверждать и отрицать. Аристотель

I. Законы формальной логики 3.Закон исключённого третьего: из двух противоречащих суждения одно истинно, другое ложно, а третьего не дано. Аристотель

Закон достаточного основания: всякая истинная мысль должна быть достаточно обоснована.

I. Законы формальной логики 4.Закон достаточного основания: всякая истинная мысль должна быть достаточно обоснована. Г. Лейбниц Другими словами, доказательство чего-либо предполагает обоснование истинных и только истинных мыслей. Ложные же мысли доказать нельзя. «Ошибаться свойственно всякому человеку, но настаивать на ошибке свойственно только глупцу». латинская пословица Формулы этого закона нет, так как он имеет только содержательный характер. В качестве аргументов для подтверждения истинной мысли могут быть использованы истинные суждения, цифровой материал, статистические данные, законы науки, аксиомы, теоремы.

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

Закон тождества : в процессе определенного рассуждения всякое понятие и суждение должны быть тождественны самим себе. А = А

Основные законы алгебры высказываний: 1.Закон тождества: А = А. Всякая мысль тождественна самой себе. Данный закон означает, что в процессе рассуждения нельзя подменять одну мысль другой, одно понятие другим. При нарушении этого закона возможны логические ошибки.

Закон непротиворечия: невозможно, чтобы одно и тоже в одно и тоже время было и не было присуще одному и тому же в одном и том же отношении. То есть невозможно что-то одновременно утверждать и отрицать. А & Ā = 0

Основные законы алгебры высказываний:

Закон исключения третьего: из двух противоречащих суждений одно истинно, другое ложно, а третьего не дано. А + Ā = 1

Основные законы алгебры высказываний:

Закон исключённого третьего не является законом, признаваемым всеми логиками в качестве универсального закона логики. Этот закон применяется там, где познание имеет дело с жёстко ситуацией: «либо – либо», «истина – ложь». Там же, где встречается неопределённость (например, в рассуждениях о будущем), закон исключённого третьего часто не может быть применён. Рассмотрим следующее высказывание: Это предложение ложно. Оно не может быть истинным, потому что в нём утверждается, что оно ложно. Но оно не может быть и ложным, потому что тогда оно было бы истинным. Это высказывание не истинно и не ложно, а потому нарушается закон исключённого третьего. Парадокс (с греч. paradoxos – неожиданный, странный) в этом примере возникает из-за того, что предложение ссылается само на себя. Другим известным парадоксом является задача о парикмахере: В одном городе парикмахер стрижёт волосы всем жителям, кроме тех, кто стрижёт себя сам. Кто стрижёт волосы парикмахеру? В логике из-за её формальности нет возможности получить форму такого ссылающегося самого на себя высказывания. Таким образом, с помощью логики нельзя выразить все возможные мысли и доводы.

Закон двойного отрицания: если отрицать дважды некоторое высказывание, то в результате получается исходное высказывание. А = А

Основные законы алгебры высказываний:

Свойства констант: отрицание лжи есть истина. 0 = 1 А v 0 = А А v 1 = 1 отрицание истины есть ложь. 1 = 0 А & 0 = 0 А & 1 = A

Закон идемпотентности: А v А = А А & А = A Например, сколько бы раз мы ни повторяли: телевизор включен или телевизор включен или телевизор включен….значение высказывания не изменится.

Законы коммутативности (сочетательные законы): операнды А и В в операциях дизъюнкции и конъюнкции можно менять местами. А v В = В v А А & В = В & А

Законы ассоциативности (распределительные законы): если в выражении используется только операция дизъюнкции или только операция конъюнкции, то можно пренебрегать скобками или произвольно их расставлять. А v (В v C) = (А v В) v C А & (В & C) = (А & В) & C

Законы дистрибутивности: А v (В & C) = (А v В) & (А v C) А & (В v C) = (А & В) v (А & C)

Внимание: Закон ассоциативности аналогичен закону алгебры чисел, а закон дистрибутивности справедлив только в алгебре логики.

Законы поглощения: А & (В v B) = А или А & (А v В) = А или (А v B) & B = А & B А v В & B = А или А v (А & В) = А или (А & B) v B = А v B

Законы де Моргана: отрицание дизъюнкции есть конъюнкция отрицаний. Отрицание конъюнкции есть дизъюнкция отрицаний. А v В = А & В или А v B = А & B А & В = А v В или А & B = А v B

Правило замены операции импликации: А В = А v В

Правило замены операции эквивалентности: А В = В А А В = (А v В) & (А v B) А В = (А & В) v (А & B) А В = (А В) & (B A)

Тождества логического сложения 1)А + 0 = А 2)А + 1 = 1 3)А + А = А 4)А + А = 1 ИЗ ДВУХ ПРОТИВОПОЛОЖНЫХ ВЫСКАЗЫВАНИЙ ХОТЯ БЫ ОДНО ИСТИННО) ( ИЗ ДВУХ ПРОТИВОПОЛОЖНЫХ ВЫСКАЗЫВАНИЙ ХОТЯ БЫ ОДНО ИСТИННО) логического умножения 1.А · 0 = 0 2.А · 1 = А 3.А · А = А 4.А · А = 0 (НЕВОЗМОЖНО, ЧТОБЫ ОДНОВРЕМЕННО ДВА ПРОТИВОПОЛОЖНЫХ ВЫСКАЗЫВАНИЯ БЫЛИ ИСТИННЫ) А = А (ДВОЙНОЕ ОТРИЦАНИЕ) 31

Законы алгебры логики Переместительный закон А + В = В + АА · В = В · А Сочетательный закон (А + В) + С = А + (В + С)(А · В) · С = А · (В · С) Распределительный закон (А + В)·С = А·С + В·СА·В + С = (А + С)·(В + С) Закон де Моргана (закон отрицания) A + B = A B A B = A + B A B = B A = A + B A B = AB + AB = (A + B) ( A + B) 32

Доказательство логических законов построить таблицу истинности для правой и левой частей равенства; выполнить эквивалентные преобразования над правой и левой частями равенства для приведения их к одному виду; с помощью диаграмм Эйлера - Венна; путем правильных логических рассуждений.

Доказательство закона де Моргана с помощью логического рассуждения:

Доказательство закона поглощения с помощью диаграмм Эйлера- Венна:

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

Доказательство закона исключения с помощью эквивалентных преобразований. Применим к левой части закон коммутативности и дистрибутивности (т.е. вынесем общий множитель В за скобки), затем применим закон исключённого третьего и свойство констант:

Дополнительное задание Докажите самостоятельно правила замены операции эквивалентности

Упрощение сложных высказываний

Логические законы и правила преобразования логических выражений A & A=0 (A&B)v(A&C)=A&(BvC)

X = X & 1 X = X v 0 1 = А v A 0 = Z & Z B = B v B = B v B v B v B C = C & C = C & C & C & C E = E - по свойствам констант; - по закону исключения третьего; - по закону исключения третьего; - по законам идемпотентности; - по закону двойного отрицания.

Пример 3 Требуется упростить: А & B v A & B По закону дистрибутивности вынесем А за скобки:закону дистрибутивности А & B v A & B = А & (B v B) = А & 1 = A

Пример 4 Требуется упростить: (А v B) & (A v B) Способ 1. Применим закон дистрибутивности:закон дистрибутивности (А v B) & (A v B) = А v (B & B) = А v 0 = A Способ 2. Перемножим скобки на основании того же закона дистрибутивности: (А v B) & (A v B) = А & А v А & B v B & А v B & B = = А v А & (B v B) v 0 = А v A & 1 = А v А = A

Пример 5 Требуется упростить: X v X & Y Представим Х как Х & 1, а 1 распишем по закону исключения третьего как Y v Y, далее раскроем скобки:закону исключения третьего X v X & Y = X & 1 v X & Y = X & (Y v Y) v X & Y= X & Y v v X & Y v X & Y. Закон имподентностиЗакон имподентности позволяет добавить в выражение любое из имеющихся в нем слагаемых. Добавим к полученному выражению X & Y и сгруппируем слагаемые: X & Y v X & Y v X & Y = X & Y v X & Y v X & Y v X & Y = = (X & Y v X & Y) v (X & Y v X & Y) = X & (Y v Y) v Y & & (X v X) = X & 1 v Y & 1 = X v Y.

Пример 6 Требуется упростить: А & C v B & C v А & B Добавим к последнему слагаемому С. Это делается стандартным способом: умножим А & B на 1, а 1 распишем как С v С: A & C v B & C v A & B = A & C v B & C v A & B & 1 = A & C v v B & C v А & B & (C v C) = A & C v B & C v A & B & C v A & & B & C = A & C v A & B & C v B & C v A & B & C = = A & C & (1 v B) v B & C & (1 v А) = A & C v B & C

Пример 7 Требуется упростить: X v Y Применим закон де Моргана:закон де Моргана X v Y = X & Y = X & Y

Пример 8 Требуется упростить: X & Y v X & Y v X & Z В данном случае воспользуемся законом двойного отрицания:законом двойного отрицания X & Y v X & Y v X & Z = X & Y v X & Y v X & Z = {раскроем одно отрицание}= (X & Y) & (X & Y) & (X & Z) = = (X v Y) & (X v Y) & (X v Z) = {перемножим первую и вторую скобки, упростим, а третью скобку оставим без изменения}= (X & X v X & Y v X & Y v Y & Y) & (X v Z) = = (X & Y v X & Y) & (X v Z) = {перемножим скобки, упростим}= X & X & Y v X & Y & Z v X & Y v X & Y & Z = = X & Y & Z v X & Y = {применим закон де Моргана}= = X & Y & Z & (X v Y) = (X v Y v Z) & (X v Y)закон де Моргана

Домашнее задание Разобрать конспект урока. Выписать все законы алгебры логики.