Review Semantics: Meaning and Truth Structure o Relation between Predicate Logic and Propositional OgIC Some ApplicationReview Semantics: Meaning and Truth Structure Relation between Predicate Logic and Propositional Logic Some Application Yi Li (Fudan University) Discrete Mathematics June 5, 2012 2 / 25