第二章
谓词逻辑
习题与解答
1.
将下列命题符号化:
(1)
所有的火车都比某些汽车快。
(2)
任何金属都可以溶解在某种液体中。
(3)
至少有一种金属可以溶解在所有液体中。
(4)
每个人都有自己喜欢的职业。
(5)
有些职业是所有的人都喜欢的。
解
(1)
取论域为所有交通工具的集合。令
x
x
T
:
)
(
是火车,
x
x
C
:
)
(
是汽车,
x
y
x
F
:
)
,
(
比
y
跑得快。
“所有的火车都比某些汽车快”可以符号化为
)))
,
(
)
(
(
)
(
(
y
x
F
y
C
y
x
T
x
。
(2)
取论域为所有物质的集合。令
x
x
M