3. Логические операции над высказываниями

3.1.Отрицание.

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

Отрицание высказывания х обозначается и чита­ется «не х» или «неверно, что х».

Логические значения высказывания можно опи­сать с помощью таблицы.

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

Пусть х высказывание. Так как также являет­ся высказыванием, то можно образовать

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

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

3.2. Конъюнкция.

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

Конъюнкция высказываний х и у обозначается сим­волом х&у (х  у, ху ), читается «х и. у». Высказывания х и у называются членами конъюнкции.

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

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

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

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

3.2. Дизъюнкция

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

Дизъюнкция высказываний х, у обозначается сим­волом «x v у», читается «х или у». Высказывания х, у называются членами дизъюнкции.

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

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

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

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

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

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

Импликация высказываний х, у обозначается сим­волом х  у , читается «если х, то у» или «из х следует у». Высказывание х называют условием или посылкой, высказывание у - следствием или заключением, выска­зывание х  у следованием или импликацией.

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

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

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

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

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

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

Эквиваленция высказываний х, у обозначается сим­волом х  у , читается «для того, чтобы х, необходимо и достаточно, чтобы у» или «х тогда и только тогда, когда у». Высказывания х, у называются членами эквиваленции.

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

Например, эквиваленция: «Треугольник SPQ с вер­шиной S и основанием PQ равнобедренный тогда и толь­ко тогда, когда SP = SQ » является истинной, так как высказывания «Треугольник .SPQ с вершиной S и ос­нованием PQ равнобедренный» и «В треугольнике SPQ с вершиной S и основанием PQ SP = SQ » либо одно­временно истинны, либо одновременно ложны.

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