问答题
简答题
在自然推理系统
中，构造下面用自然语言描述的推理：
火车都比汽车快，汽车都比轮船快，a是火车，b是汽车，c是轮船。所以，a比b快，b比c快。
【参考答案】
点击查看答案
相关考题
-
问答题
证明：（aΛb）V（cΛd）≤（aVc）Λ（bVd）。 -
问答题
求的前束范式。 -
问答题
证明：（aΛb）Vb=b。
