Lecture Discrete mathematics and its applications (7/e) – Chapter 1 (Part II): The foundations: Logic and proofs
Lecture Discrete mathematics and its applications (7/e) – Chapter 1 (Part II): The foundations: Logic and proofs
Lecture Discrete mathematics and its applications (7/e) – Chapter 1 (Part II): The foundations: Logic and proofs (Part II: Predicate logic). This chapter presents the following content: The language of quantifiers, logical equivalences, nested quantifiers, translation from predicate logic to English, translation from English to predicate logic.