题目内容

1. 设个体域为整数集,则“$y"x(x-y=0)”公式的意义是( )。

A. 对任一整数x存在整数 y满足x-y=0
B. 存在整数y对任一整数x满足x-y=0

查看答案
更多问题

而用以刻划客体的性质或客体之间的关系即是谓词。 ()

谓词逻辑中,原子命题是最小单位。 ()

A ⇒ A∧B 是正确的。 ()

如果推理是有效的话,那么推理的前提都为真时,结论可能为假。 ()

答案查题题库