Логическая символика

При записи математических рассуждений часто применяется логическая символика. Приведем несколько наиболее употребительных символов.
Пусть α, β,... — некоторые высказывания или утверждения, т.е. предложения, относительно каждого из которых можно сказать, истинно оно или ложно.
Запись ᾱ означает «не а» , т.е. отрицание утверждения α.
Запись α=>β означает: "из утверждения α следует утверждение β ». Символ => — символ импликации.
Запись α<=>β означает: «утверждение α эквивалентно утверждению β », т.е. из α следует β и из β следует α. Символ <=> — символ эквивалентности.
Запись α Ʌ β означает «α и β». Символ Ʌ — символ конъюнкции.
Запись α v β означает «α или β». Символ v — символ дизъюнкции.
Запись ∀ х є X α(х) означает: «для всякого элемента х є X истинно утверждение α(х)». Символ ∀ — символ всеобщности, заменяющий слова «любой», «каждый», «всякий».
Запись Ǝх є X α(х) означает: «существует элемент х є X такой, что для него истинно утверждение α(х). Символ Ǝ — символ существования, заменяющий слова «существует», «есть», «найдется».
∀ — перевернутое латинское А (от английского слова Аnу — любой);
Ǝ — перевернутая латинская буква Е (от латинского слова Existence — существование).