Review o Predicates and quantifiers Language: Terms and Formulas o Formation Trees and structuresReview Predicates and Quantifiers Language: Terms and Formulas Formation Trees and Structures Yi Li (Fudan University) Discrete Mathematics May 28, 2013 2 / 27