当前位置:文档之家› 一阶谓词逻辑题目

一阶谓词逻辑题目

●镇江的夏天既炎热又潮湿
解:定义谓词
hot(X,Summer):X地的夏天很炎热
wet(X,summer):X地的夏天很潮湿
该知识可以表示为
hot(Zhenjiang,summer)∧wet(Zhenjiang,summer)
●有人每天下午都去打篮球。

解:定义谓词
P(x):x是人
B(x):x打篮球

A(y):y是下午
将知识用谓词表示为:
(∃x)(∀y) (A(y)→B(x)∧P(x))
●新型计算机速度又快,存储容量又大
解:定义谓词
NC(x):x是新型计算机
F(x):x速度快
B(x):x容量大
将知识用谓词表示为:
(∀x) (NC(x)→F(x)∧B(x))
●不是每个信息系的学生都喜欢在计算机上编程序。

解:定义谓词
S(x):x是信息系学生
L(x, pragramming):x喜欢编程序
U(x,computer):x使用计算机
将知识用谓词表示为:
⌝(∀x) (S(x)→L(x, pragramming)∧U(x,computer))
●所有的消防车都是红色的
解: 定义谓词
Fireengine(x) : x是消防车
Color(x, y) : x的颜色是y
red:表示红色
该知识可以表示为:
(∀x)( Fireengine(x))→Color(x, red)
对于所有的x, 如果x是消防车,那么x的颜色是红色的●所有的自然数,不是奇数就是偶数
解:定义谓词
N(x) : 表示x是自然数
O(x) : 表示x是奇数
E(x) : 表示x是偶数
该知识可表示为:
(∀x)( N(x))→(O(x) ∨E(x))
●305房间有个物体
解:定义谓词
In(x,y):x在y里面
Room(x):x是房间
r305:305房间
(∃x)In(x,Room(r305))
●每个车间都有一个人负责
有一个人是所有车间的负责人
解:定义谓词:
Workshop(x):x是个车间
Head(y,x): y是x的负责人
以上知识可表示为:
(∀x)(∃y)( Workshop(x)→Head(y,x)) (∃y)(∀x)( Workshop(x)→Head(y,x))。

相关主题