第三章谓词演算基础.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。