形式逻辑考查

来源:百度知道 编辑:UC知道 时间:2024/05/27 07:08:27
5、以“(p∧q)→r”和 “¬ r”为前提进行充分条件假言推理,可以必然得出结论( )。6.SE ̄P →( )→( )→PIS
四、证明如下推出关系(30’)
1、A→B├ ¬B →¬A
3、¬(A∨B)├ ¬A∧¬B
这几条题做一下,是那分份题的修改。。。请你做一下,报酬是100分。

6.SE ̄P →(SAP )→(SIP )→PIS
其它问题在对话中已经给你答复了,这个问题在对话中我没有了解“并非”的位置,以为在结论中,现在根据你的修改,给出结论。
第一步运用换质法,第二步运用对当关系的直接推理,第三步运用换位法。