离散 命题符号化的蕴涵和合取

离散 命题符号化的蕴涵和合取

关键原则：
全称量词 配 蕴含
存在量词 配 合取

在符号化时也需注意全称量词与存在量词摆放的顺序
例如：
不存在比所有火车都快的汽车
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) ) )
解说：对于任何的火车——都不存在这样的汽车——比它快的汽车
即，对于所有火车都没有比它快的汽车，显然改变了原意

//以上两个命题也可用符号证出不等价
所以，符号化过程中需要注意“层”的问题，确定正确的量词限定顺序，并正确使用括号去限定各变元（辖域）