离散数学一阶逻辑符号化问题 鸟都会飞翔 x, M(x):x是鸟 F(x):x会飞 应该表示成

2025-03-22 11:49:23
推荐回答(2个)
回答1:

选择第一个符号化方式,表示为“任意的x,如果x是鸟,x一定可以飞翔”。
第二个说的是,所有的x一定是鸟且能飞翔,与命题表达有区别。这要看个体域是什么,如果是鸟类集合,两个表示都行,如果个体域是全总个体域,代表一切事物,第二个表达就是错的了。

符号化时,全称量词与蕴涵联结词→结合,存在量词与合取∧结合。

回答2:

没区别