Составное высказывание образованное с помощью операции
Обновлено: 21.11.2024
Логическое следование (импликация)
Импликация образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».
Импликация ложна только тогда, когда из истинного первого высказывания(предпосылки) следует ложный вывод (второе высказывание).
Соответствует обороту Если…, то…
Обозначение А→В
В языках программирования if … then …
Таблица истинности
Логическое равенство.(эквивалентность)
Эквивалентность образуется соединением двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …».
Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.
Читайте также: