utline o Deduction from premises o Compactness ApplicationsOutline Deduction from premises Compactness Applications Yi Li (Fudan University) Discrete Mathematics April 24, 2012 3 / 25