Связывание двух или нескольких высказываний в одно посредством союза и называется

Обновлено: 04.11.2024

Логическое следование (импликация)

Импликация образуется соединением двух высказываний в одно с помощью оборота речи «если…, то…».

Импликация ложна только тогда, когда из истинного первого высказывания(предпосылки) следует ложный вывод (второе высказывание).

Соответствует обороту Если…, то…

Обозначение А→В

В языках программирования if … then …


Таблица истинности

Логическое равенство.(эквивалентность)

Эквивалентность образуется соединением двух высказываний в одно с помощью оборота речи «… тогда и только тогда, когда …».

Составное высказывание, образованное с помощью логической операции эквивалентности истинно тогда и только тогда, когда оба высказывания одновременно либо ложны, либо истинны.

Читайте также: