Essentials of Discrete Mathematics, 3rd Edition

Index of Symbols

Notation	Description	Page
¬p	Not p	5
p ∧ q	p and q	6
p ∨ q	p or q	6
p ↔ q	p if and only if q	6
p → q	p implies q	6
⇒	Implies tautology	17
⇔	If and only if tautology	17
∀	Universal quantifier	29
∃	Existential quantifier	30
a | b	a divides b	56
a ∤ b	a does not divide b	56
x ∈ S	x is in S	82
x ∉ S	x is not in S	82
{ }	Set definition	82
{ |  }	Set builder notation	82
Z	Set of integers	82
N	Set of natural numbers	82
R	Set of real numbers	82
Q	Set of rational numbers	82
A ⊆ B	A is a subset of B	82
∅	Empty set	83
A ∪ B	A union B	83
A ∩ B	A intersect B	84
A′	Complement of A	84
A × B	Cartesian product of A and B	85
P(X)	Power set of X	86
|X|	Number of elements in X	88
A \ B