| Символ | Значення
| Приклад |
| ⇒ | Слідування. Коли A є істинним – тоді B є істинним. | \[x=2\Rightarrow x^2=4\] |
| ⇔ | Рівносильність. А рівносильно B. | \[x+5=y+2\Leftrightarrow x+3=y\] |
| ∧ | Кон'юнкція. А ∧ B істинно тоді і тільки тоді, коли А та B обидва істинні. | \[(n>2)\wedge(n<4)\Leftrightarrow(n=3)\] |
| ∨ | Диз'юнкція. А ∨ B є істинним, коли хоча б одна з умов А або В є істинною. | \[(n\leq2)\vee(n\geq4)\Leftrightarrow n\neq3\] |
| ¬ | Заперечення. ¬А істинно тоді і тільки тоді, коли хибно А | \[\neg(A\wedge B)\Leftrightarrow(\neg A)\vee(\neg B)\] |
| ∀ | Квантор спільності. ∀ P(x) означає “P(x) істинно всім x” | \[Аn\in\mathbb,\;n^2\geq n\] |
| ∃ | Квантор існування. ∃x, P(x) означає, що «існує хоча б одне x, таке, що P(x) істинно. | \[\exists n\in\mathbb,\;n+5=2n\] |
:=
:⇔ | Визначення. x:=y означає, що «x за визначенням дорівнює y». | \[\mathrm(x):=\frac12\left(e^x+e^\right)\] |
| Безліч елементів. означає множину елементів якої є a, b, c. | ℕ = |
< | >
| Безліч елементів, що задовольняють умову. означає множину всіх x істинних (P). | \[<> |
∈
∉ | Приналежність. Символ ∉ “не належить”. | \[2\in\mathbb\] |
| ⊆ | Підмножина. А ⊆ B означає “кожний елемент є також елементом B. | \[(A\cap B)\subseteq A\] |
| ⫋ | Власна підмножина. А ⫋ означає “А⊆B і А≠B. |
| ∪ | Об'єднання. Об'єднанням множини A і B є множина, що включає всі елементи A і всі елементи B. | \[A\subseteq B\Leftrightarrow A\cup B=B\] |
| ⋂ | Перетин. А ⋂ позначає безліч елементів, що належать і А, і В одночасно. | \[(x\in\mathbb\,\vert\,x^2=1)\cap\mathbb=(1)\] |
| \ | Різниця множитьсяв. А\B означає безліч елементів, що належать А і не належать. | \[(1,\;2,\;3,\;4)\setminus(3,\;4,\;5,\;6)=(1,\;2)\] |
| → | Функція. ƒ: X→Y означає функцію
ƒ, що відображає безліч X до Y. | \[ƒ:\;\mathbb\rightarrow\mathbb,\;що\;визначається\;як\;ƒ(x)\;=\;x^2\] |
| ℕ | Природні числа. ℕ означає множину (1, 2, 3, …). | \[(\left|a\right|\,\vert\,a\in\mathbb)=\mathbb\] |
| ℤ | Цілі числа. ℤ означає безліч (…, -3, -2, -1, 0, 1, 2, 3…) | \[(a,\;-a\,\vert\,a\in\mathbb)=\mathbb\] |
| ℚ | Раціональні числа. | \[3,14\in\mathbb,\;\pi\not\in\mathbb\] |
| ℝ | Справжні числа. ℝ означає множину, яка містить у собі раціональні числа і, у свою чергу, є підмножиною комплексних чисел. | \[\pi\in\mathbb,\;i\in\mathbb\;(\:і\;-\;комплексне\;число\;і^2=-1)\] |
| ℂ | Комплексні числа. | \[i\in\mathbb\] |
| ≈ | Приблизна рівність. \[e\approx2,718\;з\;точністю\;до\;10^\;означає,\;що\;e\;розрізняється\;від\;2,718\;не\;більше \;ніж\; на \; 10 ^ \] |
| √ | Арифметичний квадратний корінь. \[\sqrt x означає\;позитивне\;дійсне\;число,\;яке\;в\;квадраті\;дає\;x\] | \[\sqrt4=2\] |
| ∞ | Нескінченність. +∞, -∞ елементи розширеної множини дійсних чисел. Ці символи позначають числа, які є меншими або більшими від усіх дійсних чисел. |
| | | | Модуль числа. |х| означає абсолютну величину x. | \[\left|a+b\cdot i\right|=\sqrt\] |
| ∑ | Сума.
| \[\sum_^4k^2=1^2+2^2+3^2+4^2=30\] |
| ∏ | Твір. | \[\prod_^4(k+2)=3\cdot4\cdot5\cdot6=360\] |
