Contents
The Adapter 's Words iv
Preface vi
About the Author xi
The Companion Website xii
To the Student xiv
List of Symbols xvii
1 The Foundations: Logic and Proofs1
11 Propositional Logic1
12 Applications of Propositional Logic13
13 Propositional Equivalences20
14 Predicates and Quantifiers32
15 Nested Quantifiers49
16 Rules of Inference59