anguage o Symbols of propositional logic Connectives:V,∧,,→,分 e Parentheses O Propositional Letters: A, A1, A2, ...,B, B1, B2 o A propositional letter is the most elementary objectLanguage Symbols of propositional logic: 1 Connectives: ∨, ∧, ¬,→,↔ 2 Parentheses: ), ( 3 Propositional Letters: A, A1, A2, · · · , B, B1, B2, · · · . A propositional letter is the most elementary object. Yi Li (Fudan University) Discrete Mathematics March 20, 2012 7 / 24