Законы алгебры логики

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

Основные понятия

Исходным понятием логики высказываний является простое высказывание. Это понятие не определяется через другие понятия, так как является базовым. Под высказыванием обычно понимают всякое повествовательно предположение, утверждающее что-либо о чем-либо. Если смысл, содержащийся в высказывании, соответствует действительности, то высказывание называют истинным. В противном случае – ложным.

Обычно элементарные высказывания обозначают строчными буквами латинского алфавита a, b, c, x, y …, которые также являются логическими переменными. Истинные значения обозначаются буквой И или 1, а ложные – Л или 0.

Из элементарных высказываний можно составить более сложные с помощью логических связок Ø, Ù, Ú, ®, º, называемых соответственно отрицание, логическое и (конъюнкция), логическое или (дизъюнкция), логическое следствие (импликация), эквивалентность и круглых скобок (,). Семантику логических связок можно представить с помощью таблицы истинности. В левой части этой таблицы перечисляются все возможные комбинации значений логических переменных. В правой части – соответствующие им значения новых выражений, полученных из переменных и связок.

Связки имеют следующий приоритет: Ø Ù Ú ® º. Приоритет операций, представленных логическими связками можно изменить с помощью скобок. Высказывания, построенные с помощью простых высказываний, связок и скобок, называют правильно построенными формулами или сокращённо формулами.

Замечательным свойством логики высказываний является то, что ее семантика близка к соответствующим высказываниям на естественном языке. Так, например семантика формул содержащих связки Ø и Ù практически совпадает со смыслом фраз содержащих слова «не» и «и». Однако имеются и некоторые различия. Так формула х Ú у несколько шире, чем русское «х или у». Выражение «х или у» по смыслу ближе к формуле х Ù Ø у Ú Ø х Ù у. Еще больше различий между семантикой формулы х ® у в логике высказываний и выражению «из х следует у». В русском языке это выражение истинно, если истинны х и у, т.е. предложение русского языка по смыслу совпадает с формулой х Ù у. Логическое следствие истинно также, если х и у ложны или х ложна, а у истинна. Логическую формулу х ® у следует интерпретировать на естественном языке так: «Если х истинна, то у тоже истинна, а остальное неизвестно».

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

Очевидно, что если формула содержит n переменных, то в таблице истинности будет содержаться 2 ⁿ строк. В приведенном примере формула содержит 2 переменные и 2² = 4 строки. Кроме того, данная формула истинна на любом наборе значений своих переменных. Такие формулы называются тождественно истинными или тавтологиями. В противоположной ситуации, формула является тождественно ложной или невыполнимой. Если две разные формулы принимают одинаковые значения на любом наборе значений переменных, то такие формулы называют равносильными. Равносильные формулы будем обозначать знаком равенства =.

Законы алгебры логики

В логике высказываний известно много общезначимых формул, которые также называются законами логики высказываний. Основными законами являются следующие:

· законы идемпотентности:

o x Ù x = x

o x Ú x = x

· x Ù 1 = x

· x Ú 1 = 1

· x Ù 0 = 0

· x Ú 0 = x

· x Ù Ø x = 0 – закон противоречия

· x Ú Ø x = 1 – закон исключения третьего

· Ø Ø x = x – закон снятия двойного отрицания

· законы поглощения

o x Ù (y Ú x) = x

o x Ú (y Ù x) = x

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

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

· (x º y) = (x ® y) Ù (y ® x)

· x ® y = Ø x Ú y

· законы Де Моргана

o Ø (y Ú x) = Ø y Ù Ø x

o Ø (y Ù x) = Ø y Ú Ø x

Замечательным следствием приведенных выше законов является следующий факт. Любую логическую формулу можно заменить равносильной ей, но содержащую только две логические операции: конъюнкцию или отрицание или дизъюнкцию или отрицание. Дальнейшее исключение логических операций, очевидно, невозможно, то есть приведенные пары представляют минимальный базис для построения правильно построенных формул. Однако существует операция, с помощью которой можно представить любую логическую связку. Эта операция получила название «штрих Шеффера» и определяется следующим образом:

На основании этого определения можно ввести следующие законы, выражающие взаимосвязь операции «штрих Шеффера» и других логических связок:

· Ø x = x | x

· x Ù y = (x | y) | (x | y)

Также следует отметить, что x | y = Ø (x Ù y).

К основным законам алгебры логики также относятся следующие:

· коммутативные законы

o х Ù y = y Ù х

o х Ú y = y Ú х

· дистрибутивные законы

o х Ù (y Ú z) = (х Ù y) Ú (х Ù z)

o х Ú (y Ù z) = (х Ú y) Ù (х Ú z)

· ассоциативные законы

o х Ù (y Ù z) = (х Ù y) Ù z

o х Ú (y Ú z) = (х Ú y) Ú z

Еще одним важным законом алгебры логики является закон двойственности. Пусть формула A содержит только операции конъюнкции, дизъюнкции и отрицания. Для операции конъюнкции двойственной считается дизъюнкция, а для дизъюнкции – конъюнкция. Тогда по определению формулы A и A* называются двойственными, если формула A* получается из A путем замены в ней каждой операции на двойственную. Например, для формулы (х Ú y) Ù z двойственной формулой будет (х Ù y) Ú z. Для двойственных формул справедлива следующая теорема: если формулы A и B равносильны, то равносильны и двойственные им формулы, то есть A* = B*. Данную теорему оставим без доказательства.

С помощью законов логики можно осуществлять равносильные преобразования. Такие преобразования используются для доказательств, приведения формул к заданному виду, упрощения формул.

Под сложностью формул обычно понимается количество символов, используемых для ее записи. То есть формула α проще формулы b, если α содержит меньше букв и логических операций. Например, для формулы (Ø (x Ú y) ® x Ú y) Ù y можно записать следующую цепочку преобразований, приводящих ее к более простому виду:

(ØØ (x Ú y) Ú x Ú y) Ù y = (x Ú y Ú x Ú y) Ù y = (x Ú y) Ù y = y.