科数网
试题 ID 22135
【所属试卷】
《离散数学》逻辑推理速成-练习题答案
在自然推理系统 $P$ 中, 用构造法证明下面推理.
前提: $(p \wedge q) \rightarrow r, r \rightarrow s, \neg s, p$
结论: $\neg q$
A
B
C
D
E
F
答案：
答案与解析仅限VIP可见
解析：
答案与解析仅限VIP可见
在自然推理系统 $P$ 中, 用构造法证明下面推理.<br>前提: $(p \wedge q) \rightarrow r, r \rightarrow s, \neg s, p$<br>结论: $\neg q$ <div> </div> <br /> <br /> <b>答案</b> <div> 答案与解析仅限VIP可见 </div> <br /> <br /> <b>解析</b> <div> 答案与解析仅限VIP可见 </div>