设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。

admin2007-10-11 83

问题设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。

选项 A、

B、

C、

D、

答案C

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