У математики двокрапка є одним із можливих позначень операції поділу (при цьому симетрично відбивається з обох сторін); в іншому значенні відокремлює знак відображення та його область визначення та безліч значень: запис «f: A→B» означає, що функція f відображає A на B (при цьому пробіл ставиться тільки після …
Квантор загальна назва для логічних операцій, що обмежують область істинності будь-якого предикату і створюють висловлювання. Найчастіше згадують: Квантор загальності (позначення: , читається: «для будь-якого…», «для кожного…», «для всіх…» чи «кожен…», «будь-який…», «все…»).
Двокрапка ставиться, якщо:
- друга частина розкриває зміст першої частини (можна підставити саме);
- друга частина має значення причини, обґрунтування (можна підставити тому що, оскільки);
- друга частина має пояснювальне значення (можна підставити союз або конструкцію побачив/почув/дізнався, що)