Отрицание.

Отрицанием высказывания х называется новое высказывание, которое является истинным, если высказывание х ложно, и ложным, если высказывание х истинно.

Отрицание высказывания х обозначается и читается «не х» или «неверно, что х». Логические значения высказывания можно описать с помощью таблицы:

х

Таблицы такого вида принято называть таблицами истинности.

Пусть х высказывание. Так как также является высказыванием, то можно образовать отрицание высказывания , то есть высказывание , которое называется двойным отрицанием высказывания х. Ясно, что логические значения высказываний и х совпадают.

Например, для высказывания «река волхов вытекает из озера ильмень» отрицанием будет высказывание «неверно, что река волхов вытекает из озера ильмень» или «река волхов не вытекает из озера ильмень», а двойным отрицанием будет высказывание «неверно, что река волхов не вытекает из озера ильмень».

2. Конъюнкция (логическое умножение).

Конъюнкцией двух высказываний x, y называется новое высказывание, которое считается истинным, если оба высказывания x, y истинны, и ложным, если хотя бы одно из них ложно (т.е. в остальных случаях).

Конъюнкция высказываний x, y обозначается символом x&y или (xÙy), читается «x и y». Высказывания x, y называются членами конъюнкции. Все возможные логические значения конъюнкции двух высказываний x и y описываются следующей таблицей истинности.

Например, для высказываний «6 делится на 2», «6 делится на 3» их конъюнкцией будет высказывание «6 делится на 2 и 6 делится на 3», которое, очевидно, истинно.

Из определения операции конъюнкции видно, что союз «и» в алгебре логики употребляется в том же смысле, что и в повседневной речи. Но в обычной речи не принято соединять союзом «и» два высказывания, далекие друг от друга по содержанию, а в алгебре логики рассматривается конъюнкция двух любых высказываний. (Например: «В огороде бузина и в Киеве дядька»).

Из определения операций конъюнкции и отрицания ясно, что высказывание всегда ложно.

3. Дизъюнкция (логическое сложение).

Дизъюнкцией двух высказываний х, у называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний х, у истинно, и ложным, если они оба ложны.

Дизъюнкция высказываний х, у обозначается символом х Ú у, читается «х или у». Высказывания х, у называются членами дизъюнкции. Все возможные логические значения дизъюнкции двух высказываний х и у описываются следующей таблицей истинности:

Например, высказывание «В треугольнике DFE угол D или угол E острый истинно, так как обязательно истинно одно из высказываний: «В треугольнике DFE угол D острый», «В треугольнике DFE угол E острый». В повседневной речи союз «или» употребляется в различном смысле: исключающем и не исключающем. В алгебре логики союз «или» всегда употребляется в не исключающем смысле.

Из определения операций дизъюнкции и отрицания ясно, что высказывание всегда истинно.

4. Импликация.

Импликацией двух высказываний х, у называется новое высказывание, которое считается ложным, если х истинно, а у – ложно, и истинным во всех остальных случаях.

Импликация высказываний x,y обозначается символом (или ), читается “если х, то y”или ”из х следует y”. Высказывание х называют условием или посылкой, высказывание y – следствием или заключением, высказывание - следованием или импликацией.

Логические значения операции импликации описываются следующей таблицей истинности:

x	y	xy

Например, высказывание “если число 12 делится на 6, то оно делится на 3”, очевидно, истинно, так как здесь истинна посылка “ Число 12 делится на 6” и истинно заключение “Число 12 делится на 3”.

Употребление слов “если…, то…” в алгебре логики отличается от употребления их в обыденной речи, где мы, как правило, считаем, что, если высказывание х ложно, то высказывание “Если х, то y” вообще не имеет смысла. Кроме того, строя предложение вида “ если х, то y” в обыденной речи, мы всегда подразумеваем, что предложение y вытекает из предложения х. Употребление слов “если…, то…” в математической логике не требует этого, поскольку в ней смысл содержания высказываний не рассматривается.

Импликация играет важную роль в математических доказательствах, так как многие теоремы формулируются в условной форме “Если х, то y”. Если при этом известно, что х истинно, и доказана истинность импликации , то мы вправе сделать вывод об истинности заключения y.

5. Эквиваленция.

Эквиваленцией (или эквивалентностью) двух высказываний x,y называется новое высказывание, которое считается истинным, когда оба высказывания x,y либо одновременно истинны, либо одновременно ложны. И ложным во всех остальных случаях.

Эквиваленция высказываний x,y обозначается символом (или , реже ~), читается “ для того, чтобы x, необходимо и достаточно, чтобы y”, или “ х тогда и только тогда, когда у”. Высказывания x, y называются членами эквиваленции. Логические значения операции эквиваленции описываются следующей таблицей истинности:

Например, эквиваленция “Треугольник SPQ с вершиной S и основанием PQ равнобедренный тогда и только тогда, когда P=Q” является истинной, так как высказывания “Треугольник SPQ с вершиной S и основанием PQ равнобедренный” и “В треугольнике SPQ с вершиной S и основанием PQ” P=Q” либо одновременно истинны, либо одновременно ложны.

Эквивалентность играет большую роль в математических доказательствах. Известно, что значительное число теорем формулируется в форме необходимых и достаточных условий, т.е. в форме эквивалентности. В этом случае, зная об истинности или ложности одного их двух членов эквивалентности и доказав истинность самой эквивалентности, мы делаем заключение об истинности или ложности второго члена эквивалентности.

Формулы алгебры логики. Вычисление их значений.

С помощью логических операций над высказываниями из заданной совокупности высказываний можно строить различные сложные высказывания. При этом порядок выполнения операций указывается скобками. Например, из трёх высказываний x,y,z можно построить высказывания

(xÙy)Ú и x.

Первое из них есть дизъюнкция конъюнкции x,y и отрицания высказывания z, а второе высказывание есть импликация, посылкой которой является высказывание x, а заключением – отрицание дизъюнкции высказывания y и конъюнкции высказываний x,z.

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

Формулы алгебры логики будем обозначать большими буквами латинского алфавита A, B, C,…,X, Y,Z,…

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

В связи с этим приведенные выше формулы (xÙy)Ú и x могут быть написаны так: и x, а также xyÚ и x.

Логическое значение формулы алгебры логики полностью определяется логическими значениями входящих в неё элементарных высказываний. Например, логическим значением формулы в случае, если x=1, y=1, z=0 будет истина, т.е. =1.

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

Например, для формулы таблица истинности имеет вид:

 

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

 

Основные равносильности. (Законы логических операций)

Определение.

Две формулы алгебры логики А и В называются РАВНОСИЛЬНЫМИ, если они принимают одинаковые логические значения на любом наборе входящих в формулы элементарных высказываний. Равносильность формул будем обозначать знаком º, а запись А ºВ означает, что формулы А и В равносильны.

Формула А называется ТОЖДЕСТВЕННО ИСТИННОЙ (или ТАВТОЛОГИЕЙ), если она принимает значение 1 при всех значениях входящих в неё переменных.

Формула называется ТОЖДЕСТВЕННО ЛОЖНОЙ (или ПРОТИВОРЕЧИЕМ), если она принимает значение 0 при всех значениях входящих в неё переменных.

Между понятиями равносильности и эквивалентности существует следующая связь: если формулы А и В равносильны, то формула А«В – тавтология, и обратно, если формула А«В – тавтология, то формулы А и В равносильны.

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