|
|
|
|
Каждая логическая связка рассматривается как операция над логическими высказываниями и имеет свое название и обозначение:
(1) Операция, выражаемая словом "не", называется отрицанием и обозначается чертой над высказыванием (или знаком). Высказывание истинно, когда A ложно, и ложно, когда A истинно. Пример: "Луна - спутник Земли" (А); "Луна - не спутник Земли" ( ).
(2) Операция, выражаемая связкой "и", называется конъюнкцией (лат. conjunctio - соединение) или логическим умножением и обозначается точкой "·" (может также обозначаться знаками ^ или &). Высказывание А·В истинно тогда и только тогда, когда оба высказывания А и В истинны. Например, высказывание
истинно, а высказывания
ложны.
(3) Операция, выражаемая связкой "или" (в неразделительном, неисключающем смысле этого слова), называется дизъюнкцией (лат. disjunctio - разделение) или логическим сложением и обозначается знаком v (или плюсом). Высказывание А v В ложно тогда и только тогда, когда оба высказывания А и В ложны. Например, высказывание
ложно, а высказывания
истинны.
(4) Операция, выражаемая связками "если ..., то", "из ... следует", "... влечет ...", называется импликацией (лат. implico - тесно связаны) и обозначается знаком . Высказывание А В ложно тогда и только тогда, когда А истинно, а В - ложно.
Каким же образом импликация связывает два элементарных высказывания? Покажем это на примере высказываний: "данный четырёхугольник - квадрат" (А) и "около данного четырёхугольника можно описать окружность" (В). Рассмотрим составное высказывание А В, понимаемое как "если данный четырёхугольник квадрат, то около него можно описать окружность". Есть три варианта, когда высказывание А В истинно:
Ложен только один вариант: А истинно и В ложно, то есть данный четырёхугольник является квадратом, но около него нельзя описать окружность.
В обычной речи связка "если ..., то" описывает причинно-следственную связь между высказываниями. Но в логических операциях смысл высказываний не учитывается. Рассматривается только их истинность или ложность. Поэтому не надо смущаться "бессмысленностью" импликаций, образованных высказываниями, совершенно не связанными по содержанию. Например, такими:
(5)Операция, выражаемая связками "тогда и только тогда", "необходимо и достаточно", "... равносильно ...", называется эквиваленцией или двойной импликацией и обозначается знаком или ~. Высказывание А B истинно тогда и только тогда, когда значения А и В совпадают.
Например, высказывания
истинны, а высказывания
ложны.
Высказывания А и В, образующие составное высказывание А В, могут быть совершенно не связаны по содержанию, например: "три больше двух?"(А), "пингвины живут в Антарктиде" (В). Отрицаниями этих высказываний являются высказывания "три не больше двух" ( ), "пингвины не живут в Антарктиде" ( ). Образованные из высказываний А, B составные высказывания A B и истинны, а высказывания A и B - ложны.
Итак, нами рассмотрены пять логических операций: отрицание, конъюнкция, дизъюнкция, импликация и эквиваленция.
Операций отрицания, дизъюнкции и конъюнкции достаточно, чтобы описывать и обрабатывать логические высказывания.
Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания ("не"), затем конъюнкция ("и"), после конъюнкции - дизъюнкция ("или") и в последнюю очередь - импликация.