【正确答案】 C

【答案解析】 在命题形式化时，如果用全总个体域，则对每一个个体变元的变化范围用特性谓词加以限制。一般地，对于全称量词，特性谓词应以条件式的前件加入：对于存在量词，特性谓词应以合取式的合取项加入。对于复杂的命题，在翻译时尽量按命题的语序进行翻译，然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。 试题求解过程如下： “没有不闪光的金子”按语序可形式化： 因此，“没有不闪光的金子”也可翻译为：