Логічна еквівалентність
бінарна операція алгебри логіки / З Вікіпедії, безкоштовно encyclopedia
Шановний Wikiwand AI, Давайте зробимо це простіше, відповівши на ключові запитання:
Чи можете ви надати найпопулярніші факти та статистику про Еквівалентність?
Підсумуйте цю статтю для 10-річної дитини
ПОКАЗАТИ ВСІ ЗАПИТАННЯ
Логічна еквівалентність (еквіваленція) — двомісна логічна операція, що має значення «істина» тоді і тільки тоді, коли обидва операнди мають однакове значення. В інших випадках еквіваленція буде хибною. Операція відображає вживання сполучника «тоді і тільки тоді» в логічних висловлюваннях.
Еквівалентність позначають символами: , .
( , ).
Висловлення є правдивим тоді і тільки тоді, коли водночас правдиві обидві імплікації та , тобто:
- .
У природній мові аналогами еквіваленції є вирази:
- A тоді і тільки тоді, коли B
- A якщо B і B якщо A
- Для A достатньо і необхідно B
- A матеріально еквівалентно B