Метаобозначения
| Обозна-чения | Содержание | Пример |
 ИЛИ
| операция дизъюнкции высказываний | Математическая логика PQ
|
& И 
| операция конъюнкции высказываний | P&Q |
 НЕ
| операция отрицания высказывания | P
|
| если и только если | |
| если …, то | |
| тогда и только тогда, когда (влечет в обе стороны) | Ма = МbМа Мb и МbМа
|
| всякий, все, любой All | |
| некоторый | |
| Знак принадлежности элемента множеству (еуфй – гр. есть, быть) | Теория множеств mM
|
| Знак не принадлежности элемента множеству | mM
|
| пересечение | 
|
| объединение | 
|
| |