离散数学数理逻辑部分.pptVIP

离散数学数理逻辑部分 Zhou Yuan Outline 命题逻辑 非形式命题演算(Informal statement calculus) 形式命题演算(Formal statement calculus) 谓词逻辑(一阶逻辑) 非形式谓词演算(Informal predicate calculus) 形式谓词演算(Formal predicate calculus) Ch1. 非形式命题演算 1.1命题和连接词 Example 1.1 If Socrates is a man then Socrates is mortal Socrates is a man ∴Socrates is mortal A?B, A, ∴B Ch1. 非形式命题演算 1.2 真值函数和真值表 NOT: ~p (Negation) AND: p∧q (Conjunction) OR: p∨q (Disjunction) Imply: p?q (Conditional) If and only if: p-q (Biconditional) Definition 1.2: 命题形式 ((p∧q)?r) (p?(~((p?q)∨r))) Ch1. 非形式命题演算 Definition 1.5 重言式(tautology): 恒真的命题形式 矛盾式(contradition)