Basics, 1

1.2 Setsand Operations of Sets, 2

1.3 Relations and Functions,9
1.4 Some Methods of Proof and Problem-Solving Strategies, 17
1.5 Fundamentals of Logic, 33
1.6 Logical Inferences, 45
1.7 Methods of Proof of an Implication, 60
1.8 FirstOrderLogic and Other Methods of Proof, 79
1.9 RulesofInferencefor Quantified Propositions, 97
1.10 Mathematical Induction, 103