Лучшие вопросы
Таймлайн
Чат
Перспективы

Эквиваленция

бинарная логическая операция Из Википедии, свободной энциклопедии

Эквиваленция
Remove ads

Логическая равнозначность или эквивале́нция (или эквивале́нтность[1]) — это логическое выражение, которое является истинным тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная логическая операция обычно обозначается символом ≡ или ↔.

Краткие факты Эквиваленция, Определение ...

Эквиваленция  — это сокращённая запись для выражения

Задаётся следующей таблицей истинности:

Подробнее , ...

Таким образом, высказывание AB означает «A то же самое, что B», «A эквивалентно B», «A тогда и только тогда, когда B».

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

Логические выражения и эквивалентны в том и только в том случае, когда эквиваленция истинна при всех значениях логических переменных.

Инверсией эквиваленции является исключающее «или».

Remove ads

См. также

Примечания

Литература

Ссылки

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads