Mathematical Proofs: A Transition to Advanced Mathematics (4th Edition)
Gary Chartrand, Albert D. Polimeni and Ping Zhang.
Mathematical Proofs: A Transition to Advanced Mathematics (2nd Edition) Instructor's Solution Manual
Intro to Set Theory
Subsets and Proper Subsets
Power Sets
Cartesian Product of Two Sets
Set Operations
Algebra of Sets
Cardinality of the Union of Two Sets
Intro to Propositional Logic
Propositions and Compound Statements
Translating from English to Logic
Basic Logical Operations
Conditional and Biconditional Statements
Logical Equivalence
Tautologies and Contradiction
Quantifiers
Predicates and Quantifiers
Arguments
Deductions
Nested Quantifiers
Methods of Proof
Direct Proof
Proof by Contrapositive