在一阶逻辑中构造下面推理的证明。
答案:1 悬赏:10 手机版
解决时间 2021-03-22 21:14
- 提问者网友：温柔港
- 2021-03-22 08:28
在一阶逻辑中构造下面推理的证明。
最佳答案
- 五星知识达人网友：执傲
- 2021-03-22 09:05
我不太习惯用符号解答，只能试一试，见谅啊
假设喜欢春天 喜欢夏天 喜欢冬天分别为事件P M N
条件2：“每个人或者喜欢冬天或者喜欢夏天”，即或者M或者N，即M∩N=空集，MUN=全集，可推得¬M=N
条件3：“有的人不喜欢夏天”，即有的人¬M，由¬M=N，可得有的人N
条件1：“任何人如果他喜欢春天，他就不喜欢冬天”，如果P，则¬N，这是充分假言判断，利用换位法可得，如果N，则¬P。由上一步已经推出有的人N，则可得有的人¬P
即最终结论：有的人不喜欢春天
假设喜欢春天 喜欢夏天 喜欢冬天分别为事件P M N
条件2：“每个人或者喜欢冬天或者喜欢夏天”，即或者M或者N，即M∩N=空集，MUN=全集，可推得¬M=N
条件3：“有的人不喜欢夏天”，即有的人¬M，由¬M=N，可得有的人N
条件1：“任何人如果他喜欢春天，他就不喜欢冬天”，如果P，则¬N，这是充分假言判断，利用换位法可得，如果N，则¬P。由上一步已经推出有的人N，则可得有的人¬P
即最终结论：有的人不喜欢春天
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯