Лучшие вопросы
Таймлайн
Чат
Перспективы
Эквиваленция
бинарная логическая операция Из Википедии, свободной энциклопедии
Remove ads
Логическая равнозначность или эквивале́нция (или эквивале́нтность[1]) — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная логическая операция обычно обозначается символом ≡ или ↔.
Эквиваленция — это сокращённая запись для выражения
Задаётся следующей таблицей истинности:
Таким образом, высказывание A ≡ B означает «A то же самое, что B», «A эквивалентно B», «A тогда и только тогда, когда B».
Не надо путать эквиваленцию — логическую операцию с логической эквивалентностью высказываний — бинарным отношением. Связь между ними следующая:
Логические выражения и эквивалентны в том и только в том случае, когда эквиваленция истинна при всех значениях логических переменных.
Инверсией эквиваленции является исключающее «или».
Remove ads
См. также
Примечания
Литература
Ссылки
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads