utline Propositions Truth table AdequacyOutline Propositions Truth table Adequacy Yi Li (Fudan University) Discrete Mathematics March 17, 2014 3 / 25