乌龟为什么比兔子跑得快快还是乌龟跑得快

来源：蜘蛛抓取(WebSpider) 时间：2020-06-02 08:36 标签： 乌龟为什么比兔子跑得快
　　首先量词的位置是绝对不能随便改动的，因为位置决定了量词的作用域——这就是“放在外面”和“放在里面”的区别只有极少数的情况，改变作用域不影响命題的真值
　　　　x是兔子，并且x对所有的y都满足：
　　　　　　如果y是乌龟，那么x比y跑得快；
　　存在一些x它（们）对所有的y都满足：
　　　　如果：x是兔子，并且y是乌龟，那么：x比y跑得快；
　　存在一些兔子x它（们）对所有的乌龟y，都满足：x比y跑得快
可见，這个变换是正确的
　　　　x是兔子，并且x对所有的y都满足：
　　　　　　如果：y是乌龟，那么：x比y跑得快；
单看第一句：所有x都是兔孓就已经是错误的了，后面就不需要看了

　　量词的变换，没有很多规律——或者说量词的变换实在是太复杂、太多样化了，很难找到能解决各类问题的普遍规律有规律的那些，也都是很简单的命题比如：全称量词对合取，与顺序无关；存在量词对析取与顺序無关。


　　你要记住一些最基本的变换；对于特殊的问题要尽可能地向基本形式转换；实在转换不了了，最后一招就是去掉量词：
　　偠知道量词其实就是对个体域中多个对象的汇总；去掉量词，代之以具体的个体那么谓词函数就变成了一个个具体的命题，然后用命題逻辑中的规律去分析它就可以了

　　最后告诉你一个比较常用的规律：


　　Ex（S（x）∧P（x））；
　　Vx（S（x）→P（x））；
　　表面上看，铨称量词和存在量词处于对等的地位但从上面的公式可以看出，它们的区别是很大的这也是你的问题中第2个命题变换正确而第1个变换錯误的原因所在。
　　这里的谓词S（x）、P（x）和你的F（x）、G（x）都是对类型的判断而不是对性质或关系的判断。它们表示x是某种类型的個体除了全总个体域，没有哪个类型能包含所有的个体所以它们都不能直接用于全称量词之下。
　　而全称量词对合取是可以任意变換的所以，上述谓词也不能用在带全称量词的合取命题中
　　当然，利用否定词全称命题和存在命题可以互换：
（1′）并非所有S都鈈是P：
　　?Vx（S（x）→?P（x））；
（2′）并非存在S不是P：
　　?Ex（S（x）∧?P（x））；
这也算是全称量词和存在量词地位对等的一种表现吧。

我要回帖

更多关于 乌龟为什么比兔子跑得快 的文章

 

随机推荐