logic sets and the techniques of mathematical proofs
TRANSCRIPT
ContentsPreface
Chapter 1. Propositional logic
Chapter 2. Tautologies and contradictions
Chapter 3. Theorems, and Proof methods
Chapter 4. Sets
Chapter 5. Operations on sets
Chapter 6. Single-variable sentential logic
Chapter 7. Sentential implications and equivalences
Chapter 8. Two-variable predicate logic
Chapter 9. Real numbers
Chapter 10. Real numbers: Subtraction and Division
Chapter 11. Real numbers: The axiom of continuity
Chapter 12. Methods of proof by mathematical induction
Chapter 13. Relations
Chapter 14. Functions, and absolute value
Chapter 15. types of functions
Chapter 16. Sequences
Chapter 17. Fundamental and monotonic sequences
Chapter 18. Finite and Infinite sets
Chapter 19. Indexed Family of sets
Bibliography