第三章谓词演算基础.pptVIP

典型错误 量词后的主联结词错误 将集合名词简单化为常个体. 例如,“人”是集合名词 谓词中含有联结词 引入谓词来限定常个体. 例如,“我”是常个体 第三章 谓词演算基础 3.1 谓词与个体 3.2 函数与量词 3.2.1 函数项 3.2.2 量词 3.3 自由变元和约束变元 3.4 永真性和可满足性 3.5 唯一性量词与摹状词 项的概念 例 考察谓词 WRITE(x,y)表示x 写了y WRITE(Shakespeare，Hamlet) WRITE(Shakespeare，y) WRITE(son(Shakespeare)，Hamlet) 莎士比亚的儿子写了哈姆雷特 变量符号 函数！ 实体 函数项 约定用f，g，h等表示抽象的函数项。 ——以个体为定义域、以个体为值域的函数 ——包括实体、变量符号和函数符号 项 例 John’s mother is married to his father 解： 记 M(e1，e2) 表示e1 is married to e2； f(e) 表示e的father； m(e) 表示e的mother。 则原话可以翻译为： M(m(John)，f(John)) 3.2.2 量词 计算机学院学生都是江苏人。 计算机学院学生有江苏人。 计算机学院教师都有学士学位。 计算机学院有些教师没有学士学位。 所有人 有一些 计算机系人（包括教师与学生） 全总个体域、量词 (1) 约定变量符号即个体变元x取值于全总个体域U； (2) 用谓词来限定x的取值范围； (3) 引进 全称量词?x ——“所有的x”、“一切x”等概念 存在量词?x ——“存在一些x”、“有一些x”等概念 (4) 规定一般情况下 紧跟在全称量词?x之后的主联结词为“?”， 紧跟在存在量词?x之后的主联结词为“?”。 例 计算机学院的有些老师是青年教师 解： 设 C(e)表示e为计算机学院的人； T(e)表示e为教师; Y(e)表示e为青年. 则原句译为： ?x(C(x)?T(x) ?Y(x)) 此例中：x就取值于全总个体域U， 谓词C(x)限定x取值范围。 例 个体域I为人类集合,将下列命题符号化: ????(1) 凡人都呼吸。 ????(2) 有的人用左手写字。 解 (1) 令F(x):x呼吸. 则可以翻译为 ?xF(x) 解 (2) 令G(x):x用左手写字. 则可以翻译为 ? xG(x) 例 个体域I为全总个体域,将下列命题符号化: ????(1) 凡人都呼吸。 ????(2) 有的人用左手写字。 解 (1) 令F(x):x呼吸; P(x): x为人. 则可以翻译为 ?x(P(x)?F(x)) 解 (2) 令G(x):x用左手写字; P(x): x为人. 则可以翻译为 ? x(P(x) ? G(x)) ?x(P(x)? F(x)) ? x (P(x) ? G(x)) ? ? 例1 某些人对某些食物过敏。 解：设 A(e)表示e为人； B(e)表示e为食物； C(e1，e2)表示e1对e2过敏。 则原句译为： ?x(A(x) ? ?y(B(y)? C(x，y)) ) 例 试把下列语句翻译为谓词演算公式 （1）所有蜜蜂均喜欢所有的花粉； (10级期末，3分） 解 记 B(e)表示e为蜂蜜； P(e)表示e为花粉； L(e1,e2)表示e1喜欢e2。 原话可以翻译为： ?x (B(x) ??y(P(y) ?L(x，y))) 例 试把下列语句翻译为谓词演算公式 （1）并非“人不为己，天诛地灭”； (06级期末，3分） 解(1): 设 P(e)表示e为人； A(e1，e2)表示e1为e2； B(e1，e2)