epdf.pub_the-nuts-and-bolts-of-proofs-third-edition-an-intr

Index
Algorithms, Division, 16
Argument validity, 7
Diagrams (Venn), 71
Direct proof, 12-19, 28
Division Algorithm, 16
Complement of a set, 74
Complete induction,
see Mathematical induction
Composite statement
definition, 2
hypotheses and conclusions, 81-90
negation, 26
Conclusions
definition, 2
multiple, 84
Constructive method, 68
Contrapositive of a statement, 20
Converse of a statement, 20
Corollary, 4
Counterexample, 45-47
D
De Morgan's laws, 74
Definition, 2-3
Element of a set, 68
Empty set, 68
Equality of numbers, 78-81
Equality of sets, 68-76
Equivalence theorems, see If and
only if theorems
Existence theorems, 58-60
H
Hypotheses
basic approach, 5-8
definition, 2
multiple, 82-84
I
Identity, 62
If and only if theorems, 35-44
177