Логические операции (действия над высказываниями)

Подобно тому, как с числами можно проводить арифметические действия (складывать, умножать и т.д.), к высказываниям тоже применимы свои операции. Существует три базовых логических операции:

отрицание высказывания;

конъюнкция или логическое умножение высказываний;

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

По порядку:

Отрицание высказывания

Данной операции соответствует логическая связка НЕ и символ Логические операции (действия над высказываниями) - student2.ru

Отрицанием высказывания Логические операции (действия над высказываниями) - student2.ru называется высказывание Логические операции (действия над высказываниями) - student2.ru (читается «не а»), которое ложно, если Логические операции (действия над высказываниями) - student2.ru истинно, и истинно – если Логические операции (действия над высказываниями) - student2.ru ложно:
Логические операции (действия над высказываниями) - student2.ru
Так, например, высказывание Логические операции (действия над высказываниями) - student2.ru – черепахи не летают истинно: Логические операции (действия над высказываниями) - student2.ru ,
а его отрицание Логические операции (действия над высказываниями) - student2.ruчерепахи летают если хорошенько пнуть – ложно: Логические операции (действия над высказываниями) - student2.ru ;

высказывание Логические операции (действия над высказываниями) - student2.ru – дважды два будет два ложно: Логические операции (действия над высказываниями) - student2.ru ,
а его отрицание Логические операции (действия над высказываниями) - student2.ru – неверно, что дважды два будет два – истинно: Логические операции (действия над высказываниями) - student2.ru .

Кстати, не нужно смеяться над примером с черепахами ;) садисты

Удачной физической моделью данной операции является обычная лампочка и выключатель:

свет включен – логическая единица или истина,
свет выключили – логический ноль или ложь.

2) Конъюнкция (логическое умножение высказываний)
Данной операции соответствует логическая связка И и символ Логические операции (действия над высказываниями) - student2.ru либо Логические операции (действия над высказываниями) - student2.ru Конъюнкцией высказываний Логические операции (действия над высказываниями) - student2.ru и Логические операции (действия над высказываниями) - student2.ru называют высказывание Логические операции (действия над высказываниями) - student2.ru (читается «а и бэ»), которое истинно в том и только том случае, когда истинны оба высказывания Логические операции (действия над высказываниями) - student2.ru и Логические операции (действия над высказываниями) - student2.ru :
Логические операции (действия над высказываниями) - student2.ru
Данная операция тоже встречается сплошь и рядом. Вернёмся к нашему герою с первой парты: предположим, что Петя получает допуск к экзамену по высшей математике, если сдаёт курсовую работу и зачёт по теме. Рассмотрим следующие высказывания:
Логические операции (действия над высказываниями) - student2.ruПетя сдал курсовую работу;
Логические операции (действия над высказываниями) - student2.ru – Петя сдал зачёт.

Заметьте, что в отличие от формулировки «Петя завтра сдаст» здесь уже в любой момент времени можно сказать, истина это или ложь.

Высказывание Логические операции (действия над высказываниями) - student2.ru (суть – Петя допущен к экзамену) будет истинно в том и только том случае, если он сдал курсовик Логические операции (действия над высказываниями) - student2.ru и зачёт по Логические операции (действия над высказываниями) - student2.ru . Если хоть что-то не сдано (см. три нижних строчки таблицы), то конъюнкция Логические операции (действия над высказываниями) - student2.ru – ложна.

И очень своевременно пришёл мне в голову отличный математический пример: знак системы Логические операции (действия над высказываниями) - student2.ru соединяет входящие в неё уравнения/неравенства как раз по правилу И. Так, например, запись двух линейных уравнений Логические операции (действия над высказываниями) - student2.ru в систему Логические операции (действия над высказываниями) - student2.ru подразумевает то, что мы должны найти ТАКИЕ корни Логические операции (действия над высказываниями) - student2.ru (если они существуют), которые удовлетворяют и первому и второму уравнению.

Рассматриваемая логическая операция распространяется и на большее количество высказываний. Условно говоря, если в системе 5 уравнений, то её корни (в случае их существования) должны удовлетворять и 1-му и 2-му и 3-му и 4-му и 5-му уравнению данной системы.

И в заключение пункта вновь обратимся к доморощенной электротехнике: конъюнктивное правило хорошо моделирует выключатель в комнате и рубильник на электрическом щитке в подъезде (последовательное подключение). Рассмотрим высказывания:

Логические операции (действия над высказываниями) - student2.ruвыключатель в комнате включен;

Логические операции (действия над высказываниями) - student2.ruрубильник в подъезде включен.

Наверное, все уже поняли, что конъюнкция читается самым что ни на есть естественным образом:
Логические операции (действия над высказываниями) - student2.ru – выключатель в комнате включен и рубильник в подъезде включен.

Очевидно, что Логические операции (действия над высказываниями) - student2.ru тогда и только тогда, когда Логические операции (действия над высказываниями) - student2.ru . В трёх других случаях (проанализируйте, каких) цепь разомкнётся и свет погаснет: Логические операции (действия над высказываниями) - student2.ru .

Давайте присоединим ещё одно высказывание:
Логические операции (действия над высказываниями) - student2.ruрубильник на подстанции включен.

Аналогично: конъюнкция Логические операции (действия над высказываниями) - student2.ru будет истинна тогда и только тогда, когда Логические операции (действия над высказываниями) - student2.ru . Здесь, к слову, уже будет 7 различных вариантов разрыва цепи.

Наши рекомендации