昆明生活网

标题: 在一阶逻辑中构造下面推理的证明每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐 [打印本页]

作者: 匿名 时间: 2014-5-28 10:58
标题: 在一阶逻辑中构造下面推理的证明每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐
在一阶逻辑中构造下面推理的证明每个喜欢步行的人都不喜欢坐汽车。每个人或者喜欢坐汽车或者喜欢骑自行车。有的人不喜欢骑自行车。因而有的人不喜欢步行。令F(x)：x喜欢步行。G(x)：x喜欢坐汽车。H(x)：x喜欢骑自行车。

欢迎光临昆明生活网 (http://bbs.km365.com.cn/)