作业辅导网

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

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

(x)xP(x)

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