FDM-W.04-L.02 谓词逻辑的自然语言形式化.pdfVIP

计算机科学MOOC课程群 计算机科学MOOC课程群 离散数学基础 离散数学基础 • 自然语言形式化  − 简称为 A 、E、I、O  的全称肯定命题 A 、全称否定命题  E、特称肯定命题  I 和 特称否定命题 O 是传统形式逻辑研究的四种主要的简单命题结构。在谓词逻 辑中需要对这四种命题进行形式化表示。  • 全称肯定命题 A  − SAP ：一切 S 是  P。  » 即：对一切 x ，如果 x 是 S ，那么 x  是  P。  » 形式化：(∀x)(S(x)→P(x))  − 例1 ：所有的有理数都是实数。  » S(x) ：x 是有理数。P(x) ：x  是实数。  » 形式化：(∀x)(S(x)→P(x))  • 全称否定命题  E  − SEP ：没有 S  是  P (一切 S 不是  P)。  » 即：对一切 x ，如果 x 是 S ，那么 x 不是  P。  » 形式化：(∀x)(S(x)→¬P(x))  − 例2 ：所有的有理数都不是无理数。  » S(x) ：x 是有理数。   P(x) ：x  是无理数。  » 形式化：(∀x)(S(x)→¬P(x))  • 特称肯定命题  I  − SIP ：有 S 是  P  » 即：有 x ，x  是 S ，x 又是  P。  » 形式化：  (∃x)(S(x)∧P(x))  − 例3 ：有的实数是有理数。  » S(x) ：x 是实数。P(x) ：x  是有理数。  » 形式化：(∃x)(S(x)∧P(x))  • 特称否定命题 O  − SOP ：有 S 不是  P  » 即：有 x ，x  是 S ，x 又不是  P。  » 形式化：(∃x)(S(x)∧¬P(x))  − 例4 ：有的实数不是有理数。  » S(x) ：x 是实数。P(x) ：x  是有理数。   » 形式化：(∃x)(S(x)∧¬P(x))  • 否定式的量化和量化式的否定  − 例5 ：所有的无理数都不是有理数。  » S(x) ：x 是有理数。P(x) ：x  是无理数。  » 形式化：(∀x)(S(x)→¬P(x))  全称否定命题  E  − 例6 ：没有无理数是有理数。（或：  “存在无理数是有理数。”  是错的。）  » S(x) ：x 是无理数。P(x) ：x  是有理数。  » 形式化：¬(∃x)(S(x)∧P(x))  特称肯定命题  I  的否定  • 重叠量词  − 例7 ：V(x) ：x  是参观者。E(x) ：x  是展品。L(x, y) ：x喜欢y  。  (3) 有的参观者喜欢所有的展品。  (∃x)(V(x)∧(∀y)(E(y)→L(x, y)))  (4) 有的参观者喜欢某些展品。  (∃x)(V(x)∧(∃y)(E(y)∧L(x, y)))  • 例8 ：自然数公理    (1) 对每个数，有且仅有一个直接后继；    (2)  没有以0为直接后继的数；    (3) 任何非0数有且只有一个直接前趋。  − 形式化：设函数 f (x) ：x  的直接后继。g(x) ：x  的直接前趋。谓词  E(x, y) ： x =  y  。（用  “=” 描述元素的同一性）  − (1) 对每个数，有且仅有一个直接后继；      (∀x)(∃y)(E(y, f (x))∧(∀z)(E(z, f (x))→E(y, z)))  − (2)  没有以0为直接后继的数；      ¬(∃x)E(0, f (x))  − (3) 任何非0数有且只有一个直接前趋。      (∀x)(¬E(x, 0)→(∃y)(E(y, g(x))∧(∀z)(E(z, g(x)) → E(y, z))))  • 例9 ：只有一个中国  − 形式化：设谓词  P(x) ：x  是中国。E(x, y) ：x = y 。    (∃x)(P(x)∧(∀y)(P(y)→E(y, x)))  • 关于个体论域的扩