Спирина, М.С. Дискретная математика

ПЕРЕЧЕНЬ МАТЕМАТИЧЕСКИХ СИМВОЛОВ И СОКРАЩЕНИЙ Символы и обозначения с — включение; е — принадлежность элемента множеству; g — непринадлежность элемента множеству; U — объединение множеств; П — пересечение множеств; X — суммирование; х — декартово произведение; V — квантор общности; 3 — квантор существования; \М\, п(М) — мощность множества М\ U— универсальное множество; УД. — объединение множеств Д; I Д — пересечение множеств Д; I О — кортеж; deg(^) — степень вершины А; п\ — факториал числа л, т. е. произведение натуральных чисел от 1 до л; 3! — существует единственный; А \В — разность множеств Ли в ; А Д В — симметрическая разность; -,а, а — отрицание а; &, •, л — конъюнкция; v — дизъюнкция; с , ® — строгая дизъюнкция, сумма по модулю два; ч — частичный порядок; 0 — пустое множество; -» — импликация; <->, = — эквиваленция; => — логическое следование; <=>— равносильность высказывательных форм; d= — равно по определению; |= — непосредственная выводимость;