急求!逻辑学问题:p析取非q;r推出非s;t合取非p;非u合取t ;p反蕴含q . 求证非r?

来源:百度知道 编辑:UC知道 时间:2024/05/25 03:50:22
p析取非q;r推出非s;t合取非p;非u合取t ;p反蕴含q . 求证非r?
这个是我们逻辑学书上的题目阿,怎么会不可证饿?
不懂!
谁 还知道阿?

哥们,你的问题肯定错得很严重:
1.题意中不足以证非r,因为与r有关的只有s,而对s无任何限制
2.第一个条件与最后一个条件本身就是等价的
3.由条件可得以下结论:t/非p/非u/非q,无论如何得不出任何关于r和s的结论

不可证,如楼上所说的。要证明非r只能证明非s,可是你没有给定关于s的前提。