成人高等教育 / 离散数学
在含有量词的命题进行符号化时,应该注意()
- A、
如果事先没有给出个体域,应以全总个体域作为个体域。
- B、
即使不是选取全总个体域,也要考虑是否需要加入特性谓词。
- C、
当需要加入特性谓词时,要根据其前面的量词选取适当加入形式。
参考答案：