Symbol |
Description |
Location |
|
propositional (sentential) variables |
Paragraph |
|
logical “and” (conjunction) |
Item |
|
logical “or” (disjunction) |
Item |
|
logical negation |
Item |
|
existential quantifier |
Summary |
|
universal quantifier |
Summary |
|
the empty set |
Item |
|
universe set (domain of discourse) |
Item |
|
the set of natural numbers |
Item |
|
the set of integers |
Item |
|
the set of rational numbers |
Item |
|
the set of real numbers |
Item |
|
the power set of
|
Item |
|
braces, to contain set elements. |
Item |
|
“such that” |
Item |
|
“is an element of” |
Item |
|
“is a subset of” |
Item |
|
“is a proper subset of” |
Item |
|
set intersection |
Item |
|
set union |
Item |
|
Cartesian product |
Item |
|
set difference |
Item |
|
the complement of
|
Item |
|
cardinality (size) of
|
Item |
|
the Cartesian product of and
|
Paragraph |
|
the image of under
|
Paragraph |
|
the inverse image of under
|
Paragraph |
|
the set of length bit strings |
Item |
|
the set of length bit strings with weight
|
Item |
|
the sequence
|
Paragraph |
|
the th triangular number |
Item |
|
the th Fibonacci number |
Exercise 2.1.4 |
|
the th differences of a sequence |
Paragraph |
|
the th case we are trying to prove by induction |
Paragraph |
|
the ultimate answer to life, etc. |
Paragraph |
|
“therefore” |
Paragraph |
|
the complete graph on vertices |
Paragraph |
|
the complete graph on vertices. |
Item |
|
the complete bipartite graph of and vertices. |
Item |
|
the cycle on vertices |
Item |
|
the path on vertices |
Item |
|
the chromatic number of
|
Paragraph |
|
the maximum degree in
|
Paragraph |
|
the chromatic index of
|
Paragraph |
|
the set of neighbors of
|
Paragraph |