早教吧作业答案频道 -->数学-->
命题符号化有的火车比所有的汽车跑得快.把上述命题符号化为前束范式,请前辈说一下这样符号化的依据这个问题想了好长时间了
题目详情
命题符号化
有的火车比所有的汽车跑得快.
把上述命题符号化为前束范式,请前辈说一下这样符号化的依据 这个问题想了好长时间了
有的火车比所有的汽车跑得快.
把上述命题符号化为前束范式,请前辈说一下这样符号化的依据 这个问题想了好长时间了
▼优质解答
答案和解析
以下以A代表全称量词,E代表存在量词.
设F(x)：x是火车,G(y)：y是汽车,H(x,y)：x比y跑得快.
直接符号化是Ex(F(x)∧Ay(G(y)→H(x,y))),根据辖域的收缩与扩张等值式,可化为ExAy(F(x)∧(G(y)→H(x,y))),这个就是前束范式了
设F(x)：x是火车,G(y)：y是汽车,H(x,y)：x比y跑得快.
直接符号化是Ex(F(x)∧Ay(G(y)→H(x,y))),根据辖域的收缩与扩张等值式,可化为ExAy(F(x)∧(G(y)→H(x,y))),这个就是前束范式了
看了 命题符号化有的火车比所有的汽...的网友还看了以下：
一列火车以10m/s的速度运行即将进入山洞,刚好在洞口时车头处鸣笛,坐在车尾的小命从听到笛声开始计 2020-05-20 …
逻辑学的问题,关于直言命题的布尔解释的直言命题布尔解释道：I,O命题在S类为空时都为假,接着说,全 2020-06-08 …
夏启讨伐有扈氏时说自己是“恭行天罚”，对部下们则说：“用命，赏于祖；不用命，戮于社”；商汤伐夏时说 2020-06-28 …
夏启讨伐有扈氏时说自己是“恭行天罚”，对部下们则说：“用命，赏于祖；不用命，戮于社”；商汤伐夏时说 2020-06-28 …
生命的驿车阅读第一题为什么说时间是“灰色”的,怎样理解时间“在座位上一直吆喝不停”? 2020-07-02 …
坐火车时,火车停在了一个不停的小站,列车员说是车胎扎了,这是什么...坐火车时,火车停在了一个不停的 2020-11-07 …
夏启讨伐有扈氏时说自己是“恭行天罚”，对部下们则说：“用命，赏于祖；不用命，戮于社”；商汤伐夏时说： 2020-11-10 …
最近太原市急救中心所有的救护车都喷涂上了“感谢您为生命让路”字样，希望广大市民能为救护车让路，为生命 2020-11-11 …
2016年1月6日，邵阳站开出了车次为G6452的通往长沙南的第一趟高铁列车．说起高铁技术不能不说火 2020-11-12 …
火车运行时所受的力有什么?并举例说明.比方说火车行驶时所受的摩擦力可以帮助其刹车之类的并且说出三种对 2021-02-05 …