题目内容
(请给出正确答案)
[主观题]
设论述域是具有如下定义的谓词的数学断言的集合: P(x)表示“x是可证明的”; T(x)表示“x是真的
设论述域是具有如下定义的谓词的数学断言的集合:
P(x)表示“x是可证明的”;
T(x)表示“x是真的”;
S(r)表示“x是可满足的”;
D(x, y, z)表示“z是析取式xVy”,
翻译下列断言为中文,使我们翻译尽可能自然。例如译成“如果y是断言wVx,z是断言:xVw,并且y是可证明的,那么z是可证明的”.
查看答案
如果结果不匹配,请 联系老师 获取答案