离散数学 数理逻辑部分--周源(2007-07-14自学).pdfVIP

离散数学 离散数学 数理逻辑部分 数理逻辑部分 Zhou Yuan Zhou Yuan Outline Outline 命题逻辑 – 非形式 题演算(Informal statement calculus) – 形式 题演算(Formal statement calculus) 谓词逻辑(一阶逻辑) – 非形式谓词演算(Informal predicate calculus) – 形式谓词演算(Formal predicate calculus) Ch1. 非形式命题演算 Ch1. 非形式命题演算 1.1命题和连接词 – Example 1.1 If Socrates is a man then Socrates is mortal Socrates is a man ∴Socrates is mortal AB, A, ∴B Ch1. 非形式命题演算 Ch1. 非形式命题演算 1.2 真值函数和真值表 p q pq NOT : ~p (Negation) T T T AND: p ∧q (Conjunction) T F F OR: p ∨q (Disj unction) F T T Imply : pq (Conditional) If and only if : p-q F F T (Biconditional) – Definition 1.2: 题形式 ((p∧q)r) (p(~((pq)∨r))) Ch1. 非形式命题演算 Ch1. 非形式命题演算 – Definition 1.5 重言式(tautology): 恒真的 题形式 矛盾式(contradition): 恒假的 题形式 – Example 1.6 (p∨(~p))是重言式 (p∧(~p))是矛盾式 Ch1. 非形式命题演算 Ch1. 非形式命题演算 – Definition 1.7 若(AB)是重言式，则称A逻辑蕴涵B (logically imply) 若(A-B)是重言式，则称A逻辑等价于B (logically equivalent) – Example 1.8 (p∧q)逻辑蕴涵p (~(p∧q))逻辑等价于((~p)∨(~q)) – Proposition 1.9 若A和(AB)都是重言式，则B也是重言式 Ch1. 非形式命题演算 Ch1. 非形式命题演算 – Proposition 1.17 (De Morgan’s Law) ((~A )∨(~A )∨…∨(~A ))逻辑等价于 1 2 n (~(A ∧A ∧…∧A )) 1 2 n ((~A )∧(~A )∧…∧(~A ))逻辑等价于