17-06-2024
Эквивале́нция (или эквивале́нтность[1]) — двуместная логическая операция. Обычно обозначается символом ≡ или ↔. Задаётся следующей таблицей истинности:
A | B | A ≡ B |
---|---|---|
0 | 0 | 1 |
0 | 1 | 0 |
1 | 0 | 0 |
1 | 1 | 1 |
Таким образом, высказывание A ≡ B означает «A то же самое, что B», «A эквивалентно B», «A тогда и только тогда, когда B».
Не надо путать эквиваленцию — логическую операцию с эквивалентностью — бинарным отношением. Связь между ними следующая:
Логические выражения X и Y эквивалентны в том и только в том случае, когда эквиваленция истинна при всех значениях логических переменных.
Это заготовка статьи по логике. Вы можете помочь проекту, исправив и дополнив её. |
Эквиваленция дегеніміз не, эквиваленция пределы.
Категория:Банки, основанные в 1980 году, Crying, Waiting, Hoping, Граф Амьена, Файл:Map of Arkansas highlighting Chicot County.svg, Файл:Charles Island Connecticut 314 AD.jpg.