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