Чем эквивалентность A≡B отличается от импликации A→B? Постоянно путаю стрелки
Есть импликация A→B (стрелка в одну сторону) и эквивалентность A↔B (стрелка в обе). Я их всё время путаю — и таблицы, и смысл. В чём принципиальная разница? Почему импликация несимметричная, а эквивалентность симметричная?
1 ответ
Главная разница — направление зависимости.
Импликация A→B («если A, то B») — улица с односторонним движением. Из A следует B, но НЕ наоборот. Ложна только при A=1, B=0.
Эквивалентность A↔B («A тогда и только тогда, когда B») — двустороннее движение. A и B всегда «ходят парой»: либо оба истинны, либо оба ложны. Истинна, когда значения совпали.
Сравни таблицы:
| A | B | A→B | A↔B |
|---|---|---|---|
| 0 | 0 | 1 | 1 |
| 0 | 1 | 1 | 0 |
| 1 | 0 | 0 | 0 |
| 1 | 1 | 1 | 1 |
Смотри на строку 0,1: импликация даёт 1 (из лжи следует что угодно), а эквивалентность 0 (значения-то разные!). Вот тут они и расходятся.
Связь между ними: A↔B = (A→B) ∧ (B→A). Эквивалентность — это импликация в обе стороны сразу. Поэтому она симметрична (A↔B = B↔A), а импликация — нет (A→B ≠ B→A).
Короткая память: стрелка → односторонняя и «терпит», стрелка ↔ двусторонняя и требует совпадения.