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

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

admin2007-10-11  56
问题 设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。
选项 A、
B、
C、
D、
答案C
解析 在命题形式化时，如果用全总个体域，则对每一个个体变元的变化范围用特性谓词加以限制。一般地，对于全称量词，特性谓词应以条件式的前件加入：对于存在量词，特性谓词应以合取式的合取项加入。对于复杂的命题，在翻译时尽量按命题的语序进行翻译，然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。试题求解过程如下：［*］“没有不闪光的金子”按语序可形式化：［*］因此，“没有不闪光的金子”也可翻译为：
转载请注明原文地址:https://jikaoti.com/ti/4Y67FFFM
本试题收录于： 系统分析师上午综合知识考试题库软考高级分类
0

系统分析师上午综合知识考试

软考高级

相关试题推荐
随机试题
最新回复(0)