Propositions Definition of Proposition is well-defined or well-formed Or The proposition constructed according to the definition Example Check the following strings (AV∨B),(A∧B)→C eAV-,(A∧BPropositions Definition The proposition constructed according to the definition of Proposition is well-defined or well-formed. Example Check the following strings: 1 (A ∨ B),((A ∧ B) → C) . 2 A ∨ ¬,(A ∧ B Yi Li (Fudan University) Discrete Mathematics March 20, 2012 9 / 24