utline o Soundness Completeness o CompactnessOutline Soundness Completeness Compactness Yi Li (Fudan University) Discrete Mathematics June 4, 2013 3 / 17