Логические символы
- для любого, любой;
- существует,
найдется;
: - такой, что;
- и;
- или;
- символ
отрицания;
- следует;
- тогда и только тогда
или необходимо и достаточно;
- тождественно равно.
Теоретико-множественные
символы
- объединение;
- пересечение;
\ - разность;
С – дополнение;
- включается, входит;
- принадлежит;
Æ - пустое множество.