Метаобозначения

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