数理逻辑.ppt

离散数学数理逻辑部分 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): 恒假的命题形式 Example 1.6 (p∨(~p))是重言式 (p∧(~p))是矛盾式 Ch1. 非形式命题演算 Definition 1.7 若(A?B)是重言式，则称A逻辑蕴涵B (logically imply) 若(A-B)是重言式，则称A逻辑等价于B (logically equivalent) Example 1.8 (p∧q)逻辑蕴涵p (~(p∧q))逻辑等价于((~p)∨(~q)) Proposition 1.9 若A和(A?B)都是重言式，则B也是重言式 Ch1. 非形式命题演算 Proposition 1.17 (De Morgan’s Law) ((~A1)∨(~A2)∨…∨(~An))逻辑等价于(~(A1∧A2∧…∧An)) ((~A1)∧(~A2)∧…∧(~An))逻辑等价于(~(A1∨A2∨…∨An)) 严格证明略 Ch1. 非形式命题演算 1.4 范式(SGU 182:Open the Brackets) Proposition 1.20(disjunctive normal form) 任何一个命题形式A都可以等价为如下形式的析取范式: (Qij如同p或~p的形式) 证明：选取A的真值表中使A为真的的那些真值赋值，如(p?q)∧(q?p)中的p=T,q=T和p=F,q=F，然后写为： ((p∧q)∨((~p)∧(~q))) Ch1. 非形式命题演算 Proposition 1.21(conjunctive normal form) 任何一个命题形式A都可以等价为如下形式的合取范式: (Qij如同p或~p的形式) 证明：设~A的析取范式为B，如((p∧q)∨(p∧(~q))),则A逻辑等价于~B，如~((p∧q)∨(p∧(~q)))，逻辑等价于(((~p)∨(~q))∧((~p)∨q))为A的合取范式。 (注意多次使用De Morgan’s Law) Ch1. 非形式命题演算 1.5 连接词的完备集(Adequate set) Definition 1.23 若任何真值函数都可以表示为仅含一个集合中的连接词的命题形式，则称为连接词的完备集 Proposition 1.24: {~, ?}是连接词的完备集 证明: {~, ∧, ∨}是完备集 (A∧B)逻辑等价于(~(A?(~B))) (A∨B)逻辑等价于((~A)?B) 因而任何仅包含{~, ∧, ∨}的命题形式都可以表示为仅含{~, ?}的命题形式 Ch2. 形式命题演算 问题起源：当命题形式的连接词过多时，我们的直觉并不一定很准确，希望建立一个简单的系统来对应直觉。这也符合我们计算机的思维。 “如果A不正确蕴涵A正确那么A一定正确”这句话对吗？ “如果当对任意的B均有A蕴涵B成立时，A一定成立，那么A一定成立”很容易理解吗？ Ch2. 形式命题演算 2.1 形式系统L (Definition 2.1) 定义命题逻辑的形式推演系统L包含如下内容： 1. 字母表： ~, ?, (, ), p1, p2, p3, … 2. 合式公式: 由连接词~, ?构成的有限长公式 公理模式 (L1) (A?(B?A)) (L2) ((A?(B?C))?((A?B)?(A?C)) (L3) (((~A)?(~B))?(B