设P(x):x是金子,Q(x):x闪光,则命题“没有不闪光的金子”形式化为(53)。
设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。
A．
B．
C．
D．
正确答案：C解析：在命题形式化时，如果用全总个体域，则对每一个个体变元的变化范围用特性谓词加以限制。一般地，对于全称量词，特性谓词应以条件式的前件加入：对于存在量词，特性谓词应以合取式的合取项加入。对于复杂的命题，在翻译时尽量按命题的语序进行翻译，然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。试题求解过程如下：［*］“没有不闪光的金子”按语序可形式化：［*］因此，“没有不闪光的金子”也可翻译为：
词条内容仅供参考，如果您需要解决具体问题
（尤其在法律、医学等领域），建议您咨询相关领域专业人士。