Predicates and Quantifiers predicates variables constants o functions universal quantifier: V, "for all o existential quantifier: 3, there existsPredicates and Quantifiers predicates variables constants functions universal quantifier: ∀, ”for all”. existential quantifier: ∃, there exists Yi Li (Fudan University) Discrete Mathematics May 22, 2012 4 / 1