设P与Q是两个谓词公式，D是它们共同的个体域，若对D上的任何一个解释，P与Q都有相同的真值，则称公式P和Q在D上等价的。(1) (∀x) ( P(x,y) V (∃y) ( Q(x,y) ∧R(x,y) ) )设变元x和y的个体域D={1, 2}, 谓词P{x, y}表示x大于等于y, 给出公式A=(∀x)(∃y)P(x, y)在D上的解释，指出每一种解释下公式A的真值。2.3 设 D={1,2},试给出谓词公式(∃x)(∀y)(P(x,y)→Q(x,y))的一个解释,并且指出该谓词公式的真值。
目录
知识
一阶谓词逻辑表示法
具有真假意义的陈述句。
原子命题：不能分解成更简单的陈述句
复合命题：由联结词、标点符号和原子命题等复合构成的命题。
命题逻辑就是研究命题和命题之间关系的符号逻辑系统。
命题常量：命题标识符表示一个确定的命题。
命题变元：命题标识符只表示任意命题的位置标志。当命题变元P用一个特定的命题取代时，P才能确定真值，这时称为对P进行指派。
谓词
谓词的一般形式：P(x_1,x_2,...,x_n)
个体x_1,x_2,...,x_n: 某个独立存在的事物或某个抽象的概念。
谓词名P：刻画个体的性质、状态或个体间的关系。
-
个体是常量：一个或者一组指定的个体。
-
个体是变元（变量）：没有指定的一个或者一组个体。
-
x<5: Less(x,5)
-
-
个体是函数：一个个体到另一个个体的映射。
-
小李的父亲是教师: Teacher(father(Li))
-
-
个体是谓词
-
Smith作为一个工程师IBM工作：二阶谓词 Works(engineer(Smith),IBM)
-
连接词（连词）
→：“蕴含”（implication) 或 “条件”(condition)
-
eg: 如果刘华跑得最快，那么他取得冠军。RUNS(Liuhua, fastest)→WINS(Liuhua, champion)
↔：等价（equivalence)
-
eg: P↔Q: P当且仅当Q
谓词公式
全称量词(∀x)
-
eg: 所有机器人都是灰色的：
-
(∀x[ROBOT(x)→COLOR(x, GRAY)])
-
存在量词(∃x)
-
1号房间有个物体：
-
(∃x) INROOM (x, r1)
-
全称量词和存在量词出现的次序将影响命题的意思
(∀x)(∃y)(Employee(x)→Manager(y, x)):每个雇员都有一个经理
(∃y)(∀x)(Employee(x)→Manager(y, x)):有一个人是所有雇员的经理
定义：可按下述规则得到谓词演算的谓词公式：
最低0.47元/天 解锁文章
2913
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
