Sentences We don t care about the following you a student?
Sentences We don’t care about the following: Are you a student? Sit down please. What are you doing? Yi Li (Fudan University) Discrete Mathematics March 17, 2014 5 / 25
Sentences We don t care about the following you a student? o Sit down please
Sentences We don’t care about the following: Are you a student? Sit down please. What are you doing? Yi Li (Fudan University) Discrete Mathematics March 17, 2014 5 / 25
Sentences We don t care about the following you a student? o Sit down please o What are you doing
Sentences We don’t care about the following: Are you a student? Sit down please. What are you doing? Yi Li (Fudan University) Discrete Mathematics March 17, 2014 5 / 25
Connectives a summary of connectives Symbol Verbose name Remark V disjunction ∧ conjunction and negation conditional biconditional if and only if
Connectives A summary of connectives: Symbol Verbose name Remark ∨ disjunction or ∧ conjunction and ¬ negation not → conditional if ..., then ... ↔ biconditional if and only if Yi Li (Fudan University) Discrete Mathematics March 17, 2014 6 / 25
Language Symbols of propositional logic
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