Skip to main content

Index Index

\(r\)-permutation, Definition
addition rule, Section Assemblage
edges, Paragraph
vertices, Paragraph
of a vertex, Item
argument, Section Assemblage
quantifier, Section Paragraph
arrow diagram, Paragraph
arthmetic sequence, Definition
bijection, Definition. See also one-to-one correspondence
binary tree, Paragraph
full, Paragraph
binomial, Paragraph
binomial coefficient, Paragraph
Binomial Theorem, Section Theorem
bit string, Paragraph
branch vertex, Definition
Cartesian product, Definition
proof by, Assemblage
of a vertex, Item
choose, Definition
circuit, Section Item
Euler, Definition
Hamiltonian, Definition
simple, Item
trivial, Paragraph
circuit-free graph, Definition
closed form
closed walk, Item
codomain, Definition
relation, Paragraph
combination, Section Definition
of a set, Definition
complete bipartite graph, Definition
complete graph, Definition
complete set of residues, Section
composite, Definition
conclusion, Assemblage
negation of, Item
statement, Item Section
congruent mod \(d\), Definition Paragraph
graph, Definition
vertices, Definition
biconditional, Item
conditional, Item
conjunction, Item
disjunction, Item
negation, Item
constructive proof
existential statement, Assemblage
contradiction, Definition
contrapositive, Item
universal conditional, Definition
converse, Item
universal conditional, Definition
converse error, Assemblage
quantifier, Assemblage
counterexample, Paragraph Assemblage
of a vertex, Definition
DeMorgan’s Laws, Paragraph
of a vertex, Item
of sets, Definition
digraph, Definition
direct proof, Section Assemblage
directed graph, Definition
disjoint sets, Definition
divides, Item
divisible, Definition
Division Algorithm. See Quotient-Remainder Theorem
divisor, Item
domain, Definition
for a quantified statement, Definition
relation, Paragraph
adjacent, Paragraph
parallel, Paragraph
empty graph, Paragraph
empty set, Paragraph
proof, Assemblage
endpoints of an edge, Definition
equivalence class, Paragraph
equivalence relation, Section Definition
Euler circuit, Definition
Euler path, Definition
even integer, Definition
proof of, Assemblage
quantifier, Item
statement, Item
universal, Item
explicit formula
by iteration, Example
proof, Assemblage
explicit sequence, Example
factor, Item
factorial, Definition Paragraph
Fibonacci sequence, Example
explicit formula, Example
forest, Definition
inverse, Theorem
one-to-one, Section
onto, Section
Fundamental Theorem of Arithmetic. See Unique Factorization Theorem
geometric sequence, Definition
geometric sum, Paragraph
circuit, Section
circuit-free, Definition
complete, Definition
complete bipartite, Definition
directed, Definition
path, Section
total degree, Definition
tree, Section
Hamiltonian circuit, Definition
of a tree, Item
image, Definition
edge, Paragraph
inclusion-exclusion rule, Theorem
induction, Section
proof structure, Assemblage
strong, Assemblage
integer, Item
remainder representation, Paragraph
internal vertex, Definition
of sets, Definition
invalid argument, Definition Paragraph
function, Section
image, Paragraph
of conditional, Item
relation, Definition
inverse error, Assemblage
quantifier, Assemblage
inverse function, Paragraph
irrational number, Definition
isolated vertex, Paragraph
iteration, Section
method of, Section
leaf, Definition
of vertex, Item
logical argument, Paragraph
logical equivalence, Definition Assemblage
logical statement, Paragraph
loop, Paragraph
mathematical induction, Section Section
modular arithmetic, Section Paragraph
modus ponens, Assemblage
universal, Assemblage
modus tollens, Assemblage
universal, Assemblage
multiple, Item
multiplication rule, Section
natural number, Item
logical statement, Assemblage
of conditional, Item
null string, Paragraph
odd integer, Definition
one-to-one correspondence, Definition
one-to-one function, Section Definition
proof, Assemblage
onto function, Section Definition
proof, Assemblage
pairwise disjoint sets, Paragraph
parallel edges, Paragraph
of a vertex, Item
partition, Definition
Pascal’s Formula, Theorem
path, Section Item
permutation, Definition
pigeonhole principle, Section Theorem
generalized, Theorem
power set, Definition Paragraph
predicate, Paragraph
premise, Assemblage
prime, Definition
prime factorization
standard form, Paragraph
probability, Section
product, Section
product notation, Paragraph
product of sets, Definition
by cases, Section Assemblage
by contradiction, Section Assemblage
by contrapositive, Section Assemblage
by induction, Assemblage
method of exaustion, Assemblage
proper subset, Definition Definition
quantifier, Section
existential, Item
universal, Item
quotient, Paragraph
Quotient-Remainder Theorem, Paragraph Theorem
proof, Section
range, Definition
rational number, Item Section Definition
real number, Item
recurrence relation, Paragraph
iteration, Section
proof, Assemblage
proof of explicit formula, Assemblage
recursively defined sequence, Paragraph
reflexive, Item
proof, Assemblage
codomain, Paragraph
domain, Paragraph
equivalence, Section
function, Assemblage
reflexive, Section
symmetric, Section
transitive, Section
remainder, Paragraph
residue, Section
rooted tree, Paragraph
sequence, Section Definition
arithmetic, Definition
explicit, Example
explicit formula proof, Assemblage
Fibonacci, Example
geometric, Definition
index, Paragraph
initial term, Paragraph
recursive, Section
recursive formula proof, Assemblage
term, Paragraph
set, Paragraph
complement, Definition
difference, Definition
disjoint, Definition
identities, Assemblage
intersection, Definition
pairwise disjoint, Paragraph
proof of equality, Assemblage
properties, Section
union, Definition
universal, Paragraph
set roster notation, Example
set theory, Section
sets of sets, Example
of a vertex, Item
simple circuit, Item
simple graph, Paragraph
existential, Definition
universal, Definition
universal conditional, Definition
vacuously true, Paragraph
string, Paragraph
binary, Paragraph
strong induction, Section Assemblage
proof structure, Assemblage
subgraph, Definition
proof technique, Assemblage
proper, Definition
properties, Assemblage
successor function, Activity
sum, Section
closed form, Paragraph
closed form, Paragraph
summation notation, Assemblage
symmetric, Item
proof, Assemblage
tautology, Definition
terminal vertex, Definition
total degree, Definition
trail, Item
transitive, Item
argument, Assemblage
proof, Assemblage
transitive closure, Paragraph
height, Item
rooted, Paragraph
truth set
for a predicate, Definition
truth-table, Paragraph
of sets, Definition
Unique Factorization Theorem, Theorem
conditional, Item
existential, Item
quantifier, Item
statement, Item
universal conditional, Definition
contrapositive, Definition
converse, Definition
vacuously true, Paragraph
valid argument, Definition Paragraph
variable, Paragraph
Venn diagram, Assemblage
quantified argument, Paragraph
adjacent, Paragraph
ancestor, Item
branch, Definition
child, Item
degree, Definition
descendant, Item
level, Item
parent, Item
sibling, Item
walk, Item
closed, Item
trivial, Paragraph
well-defined function, Paragraph
Well-Ordering Principle, Theorem