离散数学 老师给的例题 第8,10步怎么得出来的 为什么结论得出¬Q就完了
答案:1 悬赏:70 手机版
解决时间 2021-04-02 06:17
- 提问者网友：川水往事
- 2021-04-02 00:47
离散数学 老师给的例题 第8,10步怎么得出来的 为什么结论得出¬Q就完了
最佳答案
- 五星知识达人网友：一把行者刀
- 2021-04-02 01:03
（8）是由（6）（7）推出来的，S或R，前面推出，非S，∴R成立；
（9）已知的第一条；
（8）（9）（10）构成一个三段论推理，得到非Q成立。
但是这种解法与题意不同。
题意是S或者R都可以推出非Q，现在S或R成立，因此非Q成立；
如果P成立，则Q成立，现在是非Q成立，必有非P成立。不然，P成立，则Q成立，矛盾。
（9）已知的第一条；
（8）（9）（10）构成一个三段论推理，得到非Q成立。
但是这种解法与题意不同。
题意是S或者R都可以推出非Q，现在S或R成立，因此非Q成立；
如果P成立，则Q成立，现在是非Q成立，必有非P成立。不然，P成立，则Q成立，矛盾。
我要举报
如以上问答信息为低俗、色情、不良、暴力、侵权、涉及违法等信息，可以点下面链接进行举报！
大家都在看
推荐资讯