у символічній (математичній) логіці
| а Λ b; a · b; a & b; “а і b” | Кон’юнкція |
| а V b; “а або b” | Диз’юнкція |
| а ® b; а É b; “а імплікує b”, “якщо а, то b” | Імплікація |
| а º b; а « b; а » b; “а еквівалентно b”, “а, якщо і тільки якщо b” | Еквіваленція |
| Ø а; “не-а” | Заперечення |
| ($ х), “існує х, яке...” | Квантор існування |
| (" х), “для всіх х” | Квантор спільності |
| a, b, c, ..., p, q... | Логічні змінні |