Логические высказывания
Алгебра логики
Под логическим высказыванием понимается повествовательное предложение, о котором имеет смысл говорить, что оно истинно или ложно, но не то и другое вместе.
Примеры:
1. Волга впадает в Каспийское море.
2. Два больше трёх.
3. Я лгу.
Примеры 1, 2 являются высказываниями (1 – истинно, 2 –ложно). Пример 3 – не высказывание (если предположить, что оно истинно, то в силу его смысла оно одновременно ложно и, наоборот, из ложности этого предложения вытекает его истинность).
В алгебре логики не рассматривают внутреннюю структуру высказываний, а ограничиваются рассмотрением их свойства представлять истину или ложь. Поэтому на высказывание можно смотреть, как на величину, которая может принимать только одно из двух значений: «истина» или «ложь».
Высказывания будем обозначать буквами А, В, С, а их значения («истина» или «ложь») – соответственно цифрами 1 или 0. Эти цифры будем рассматривать как символы, не имеющие арифметического смысла.
|
|
В обычной речи сложные предложения образуются из простых предложений с помощью связок: «и», «или», «если..., то…» и т. д.
Примеры:
1. Светит солнце, и идёт дождь.
2. Шесть делится на два или шесть делится на три.
3. Если контакт замкнут, то лампа горит.
Связки можно рассматривать как операции над высказываниями. В алгебре логики вводят операции, аналогичные связкам обычной речи. При этом истинность или ложность сложного высказывания полностью определяется истинностью или ложностью его составляющих.
1. Выражение А Ù В («А и В») означает высказывание, истинное только в том случае, когда А и В истинны.
Такое высказывание называют конъюнкцией высказываний А и В. Символ Ù обозначает операцию конъюнкции. Эта операция соответствует союзу «и» в обычной речи. В алгебре логики знак операции «Ù» можно опускать или заменять на «•».
В обычной речи не принято соединять союзом «и» два высказывания, далекие по содержанию. В алгебре высказываний операция конъюнкции может быть применена к любым двум высказываниям. Например, для высказываний: «пять больше трех» и «трава зеленая» их конъюнкция является истинным высказыванием.
2. Выражение А Ú В («А или В») означает высказывание, истинное, если хотя бы одно из высказываний А или В является истинным.
Такое высказывание называют дизъюнкцией высказываний А и В. Символ Ú обозначает операцию дизъюнкции. Эта операция соответствует союзу «или» в обычной речи, применяемому в неисключающем смысле.
Дело в том, что в обычной речи союз «или» может иметь два смысловых значения: неисключающее и исключающее. В первом случае подразумевается, что из двух высказываний, по крайней мере, одно истинно, а может быть и оба истинны. Пример такого высказывания: «В жаркую погоду пьют воду или едят мороженое».
Во втором случае полагают, что из двух высказываний истинным является только одно. Пример такого высказывания: «Сегодня мы поедем на экскурсию или пойдем на пляж». Конъюнкция высказываний соответствует первому случаю.
|
|
3. Выражение A ® B («если А, то В» или «А влечет В») означает высказывание, которое ложно тогда и только тогда, когда А истинно, а В ложно.
Такое высказывание называют импликацией высказываний А и В. Высказывание А называется условием (посылкой), высказывание В – заключением (следствием) импликации. Символ ® обозначает операцию импликации.
В обычной речи операции импликации соответствует связка «если..., то…». Отличие состоит в том, что связка предполагает смысловую зависимость соединяемых высказываний, а для операции ® смысловая связь несущественна.
Например, высказывания: «если 2 * 2 = 5, то трава синяя» и «если два больше трех, то восемь делится на четыре» являются истинными, так как у первого из них ложная посылка, а у второго – истинное следствие. Импликация: «если 2 * 2 = 4, то 5 < 2» ложна, поскольку ее условие истинно, а заключение ложно.
4. Выражение A ~ В («А эквивалентно В») означает высказывание, которое истинно тогда и только тогда, когда А и В оба истинны или оба ложны.
Такое высказывание называют эквивалентностью высказываний A и В. Символ ~ означает операцию эквивалентности.
В обычной речи этой операции соответствует связка: «тогда и только тогда, когда». Примером эквивалентности может служить высказывание: «Треугольник ABC равнобедренный тогда и только тогда, когда угол при вершине В равен углу при вершине С».
4. Выражение `А («не А») означает высказывание, которое истинно, когда А ложно и ложно, когда А истинно.
Такое высказываниеназывают отрицанием высказывания А. Символ `над буквой обозначает операцию отрицания.
В обычной речи этой операции соответствует частица «не». Например, для истинного высказывания: «восемь делится на четыре» отрицанием является ложное высказывание: «неверно, что восемь делится на четыре» или «восемь не делится на четыре».