作业辅导网

标题: 设下面所有谓词的定义域都是{a，b，c}。试将下面谓词公式中的量词消除，写成与之等... [打印本页]

作者: 李老师 时间: 2020-9-20 10:55
标题: 设下面所有谓词的定义域都是{a，b，c}。试将下面谓词公式中的量词消除，写成与之等...
设下面所有谓词的定义域都是{a，b，c}。试将下面谓词公式中的量词消除，写成与之等价的命题公式。
(1) xR(x)xS(x)
(2) x(P(x)Q(x))
(3)x

(x)xP(x) （10 分）

欢迎光临作业辅导网 (http://aopeng100.com/)