Дискретная математика. Множества. Отображения. Отношения

7 Условные обозначения ¬ – отрицание , метасимвол , обозначающий частицу « не »; & – конъюнкция , логическое или булевское умножение , ме - тасимвол , обозначающий союз « и »; ∨ – дизъюнкция , логическое или булевское сложение , мета - символ , обозначающий соединительный союз « или »; → – импликация , логическое следование , метасимвол , обо - значающий союз « если , то »; ↔ – логическая эквивалентность , метасимвол , обозначаю - щий союзы « тогда и только тогда , когда », « необходимо и доста - точно », « если и только если »; х ∀ – квантор всеобщности , метасимвол , обозначающий фра - зы « для каждого х », « для всех х », « для любого х »; х ∃ – квантор существования , метасимвол , обозначающий фразы « существует х такой , что », « для некоторого х », « хотя бы для одного х ».