在谓词逻辑中构造下面推理的证明。 每个喜欢吃素的人都不喜欢吃肉 每个人或者喜欢吃肉或者喜欢吃
已帮助 人
在谓词逻辑中构造下面推理的证明。 每个喜欢吃素的人都不喜欢吃肉，每个人或者喜欢吃肉或者喜欢吃青菜，有的人不喜欢吃青菜，所以有的人不喜欢吃素。 （得分点： 1. 首先将以自然语句表示的推理问题形式化，转换为谓词公式； 2. 若不能直接使用基本的推理公式则消去量词； 3. 在无量词下使用规则和公式进行推理； 4. 最后再引入量词，得到相应结论。）
热搜：儿童思维的逻辑构造始于
回答
共1条回复-
A