Language Symbols of propositional logic Connectives:V,∧,,→,4
Language 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 17, 2014 7 / 25
Language Symbols of propositional logic Connectives:V,∧,,→,4 O Parentheses:),(
Language 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 17, 2014 7 / 25
Language Symbols of propositional logic Connectives:V,∧,,→,4 O Parentheses:) ③ Propositional Letters:A,A1,A2,……,B,B1,B2,……
Language 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 17, 2014 7 / 25