utline o Limits of propositional logic o Predicates and quantifiers o Language of predicate logicOutline Limits of propositional logic Predicates and quantifiers Language of predicate logic Yi Li (Fudan University) Discrete Mathematics May 7, 2013 3 / 20