离散 命题符号化的蕴涵和合取
离散 命题符号化的蕴涵和合取
关键原则：
全称量词 配 蕴含
存在量词 配 合取
在符号化时也需注意全称量词与存在量词摆放的顺序
例如：
不存在比所有火车都快的汽车
C(x): x是汽车；T(x): x是火车；F(x, y): x比y快
第一步：从题意理解
取不存在某个汽车x：非存在C(x)
取所有的火车y：任意T(y)
汽车比火车快：F(x,y)其中x和y均已取定范围
第二步：按词语意义用联结词组合
（正确）非存在x（ C(x) ∧ 任意y( T(y)→F(x,y) ) )
解说：不存在这样的汽车——比任何火车都快的汽车
特别说明：
（错误）任意y ( T(y)→ 非存在( C(x) ∧ F(x,y) ) )
解说：对于任何的火车——都不存在这样的汽车——比它快的汽车
即，对于所有火车都没有比它快的汽车，显然改变了原意
//以上两个命题也可用符号证出不等价
所以，符号化过程中需要注意“层”的问题，确定正确的量词限定顺序，并正确使用括号去限定各变元（辖域）
本文来自互联网用户投稿，文章观点仅代表作者本人，不代表本站立场，不承担相关法律责任。如若转载，请注明出处。 如若内容造成侵权/违法违规/事实不符，请点击【内容举报】进行投诉反馈！