Dismath chap1 slide show
Set Theory 2014
CS 285- Discrete Mathematics Lecture 4. Section 1.3 Predicate logic Predicate logic is an extension of propositional logic that permits concisely reasoning.
Section 1.3: Predicates and Quantifiers We will now discuss the area of predicate logic. Predicate logic builds on propositional logic by introducing quantifiers.