Логические операции влияют на истинность или ложность высказывания следующим образом:
- Отрицание (инверсия, логическое НЕ). 1 Высказыванию ставится в соответствие новое высказывание, значение которого противоположно исходному. 1 Если исходное значение правда, то новое будет ложь, и наоборот. 2
- Конъюнкция (логическое умножение, логическое И). 1 Высказывание истинно тогда и только тогда, когда истинны оба исходных высказывания. 1 Во всех остальных случаях оно будет ложным. 2
- Дизъюнкция (логическое сложение, логическое ИЛИ). 1 Высказывание ложно тогда и только тогда, когда ложны оба исходных высказывания. 1
- Импликация (логическое следование). 1 Операция ставит в соответствие двум высказываниям новое, которое является ложным тогда и только тогда, когда первое высказывание (посылка) истинно, а второе (следствие) — ложно. 1 Во всех остальных случаях импликация истинна. 3
- Эквиваленция (равнозначность). 1 Операция ставит в соответствие двум высказываниям новое, которое является истинным, когда оба исходных высказывания истинны или оба исходных высказывания ложны. 1
В логических операциях смысл высказываний не учитывается, рассматривается только их истинность или ложность. 45