utline o Truth assignment Truth valuation Tautology o ConsequenceOutline Truth assignment Truth valuation Tautology Consequence Yi Li (Fudan University) Discrete Mathematics April 2, 2013 3 / 20