Re eview o Soundness and Completeness theorem o Compactness Theorem 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 9, 2013 2 / 15