Loading [MathJax]/jax/element/mml/optable/BasicLatin.js
Skip to main content

AppendixBNotation

Symbol Description Location
PQ Disjunction of propositions Definition 1.1.2
PQ Conjunction of propositions Definition 1.1.2
¬P Negation of a proposition Definition 1.1.2
PQ Conditional implication Definition 1.2.1
PQ Biconditional implication Definition 1.2.6
Universal quantifier Definition 1.3.1
Existential quantifier Definition 1.3.1
! Unique existential quantifier Definition 1.3.3
gcd greatest common divisor of two integers Definition 1.7.2
\subseteq subset Definition 2.1.3
\mathscr{P}(A) power set Definition 2.1.6
\cup union Definition 2.2.1
\cap intersection Definition 2.2.1
\setminus difference Definition 2.2.1
A^c complement of a set A Definition 2.2.4
\displaystyle\bigcup_{A \in \mathcal{A}} A union over a family A Definition 2.3.2
\displaystyle\bigcap_{A \in \mathcal{A}} A intersection over a family A Definition 2.3.3
\mathbb{N} Set of natural numbers Item
\mathbb{Z} Set of integers Item
\mathbb{Q} Set of rational numbers Item
\overline{\mathbb{Q}} Set of algebraic numbers Item
\mathbb{R} Set of real numbers Item
\mathbb{C} Set of complex numbers Item