utline Structure Interpretation o Truth o Satisfiable o ConsequenceOutline Structure Interpretation Truth Satisfiable Consequence Yi Li (Fudan University) Discrete Mathematics May 28, 2013 3 / 27