Review o Soundness and completeness Theorem ● Compactness Theore o Size of model o Compactness theoremReview Soundness and Completeness Theorem Compactness Theorem Size of model Compactness theorem Yi Li (Fudan University) Discrete Mathematics June 20, 2012 2 / 15