Discrete Mathematics : Proofs, Structures and Applications, Third Edition

Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Nature of Proof Axioms and Axiom Systems Methods of Proof Mathematical Induction Sets Sets and MembershipSubsetsOperations on SetsCounting TechniquesThe Algebra of Sets Families of Sets The Cartesian Product Types and Typed Set TheoryRelations Relations and Their Representations Properties of Relations.
Abstract: Logic Propositions and Truth Values Logical Connectives and Truth Tables Tautologies and Contradictions Logical Equivalence and Logical Implication The Algebra of Propositions Arguments Formal Proof of the Validity of Arguments Predicate Logic Arguments in Predicate Logic Mathematical Proof The Nature of Proof Axioms and Axiom Systems Methods of Proof Mathematical Induction Sets Sets and MembershipSubsetsOperations on SetsCounting TechniquesThe Algebra of Sets Families of Sets The Cartesian Product Types and Typed Set TheoryRelations Relations and Their Representations Properties of Relations