Skip to main content
Logo image

Appendix C List of Symbols

Symbol Description Location
P,Q,R,S, 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
U universe set (domain of discourse) Item
N the set of natural numbers Item
Z the set of integers Item
Q the set of rational numbers Item
R the set of real numbers Item
P(A) the power set of A 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
A the complement of A Item
|A| cardinality (size) of A Item
A×B the Cartesian product of A and B Paragraph
f(A) the image of A under f. Paragraph
f1(B) the inverse image of B under f. Paragraph
Bn the set of length n bit strings Item
Bkn the set of length n bit strings with weight k. Item
(an)nN the sequence a0,a1,a2, Paragraph
Tn the nth triangular number Item
Fn the nth Fibonacci number Exercise 2.1.4
Δk the kth differences of a sequence Paragraph
P(n) the nth case we are trying to prove by induction Paragraph
42 the ultimate answer to life, etc. Paragraph
“therefore” Paragraph
Kn the complete graph on n vertices Paragraph
Kn the complete graph on n vertices. Item
Km,n the complete bipartite graph of m and n vertices. Item
Cn the cycle on n vertices Item
Pn the path on n+1 vertices Item
χ(G) the chromatic number of G Paragraph
Δ(G) the maximum degree in G Paragraph
χ(G) the chromatic index of G Paragraph
N(S) the set of neighbors of S. Paragraph