Які існують символи справжніх значень математичної логіки?
Основні логічні символи
| Символ | Назва | Приклади |
|---|---|---|
| ⇒ → ⊃ | Імплікація | x = 2 ⇒ x2 = 4 істинно, але x2 = 4 ⇒ x = 2, у загальному випадку, хибно (оскільки x може дорівнювати −2). |
| ⇔ ≡ ↔ | Тоді і лише тоді | x + 5 = y + 2 ⇔ x + 3 = y |
| ¬ ˜ ! | заперечення | ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) |
| ∧ • & | кон'юнкція | n < 4 ∧ n >2 ⇔ n = 3, якщо n — натуральне число. |
Збережена копіяПохожі
Що означає ≡?
Логічна рівнозначність або еквівалентність (або еквівалентність) – це логічний вираз, який є істинним тоді, коли обидва прості логічні вирази мають однакову істинність. Двомісна логічна операція зазвичай позначається символом ≡ або ↔.