未分类题
设有前提:¬P∨¬Q,¬P→A,A→¬B,证明结论:B→¬Q.
【参考答案】
15.证明 (1)¬P→A P
(2)A→¬B P
(3)¬P→¬B (1)(2)T,I
(4)......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
<上一题
目录
下一题>
热门
试题
未分类题
证明:P→Q,¬Q∨R,¬R,¬(¬P∧S)⇔¬S.
点击查看答案
未分类题
根据下列前提,写出可能导出的结论,以及所用的推理规则: 如果我跑步,那么我很疲劳. 我没有疲劳.
A.
点击查看答案
相关试题
证明下面各题.(1)我夫人过生日,我送一...
称由前提A1,A2,…,Ak推出结论B的推理...
判断下列句子哪些是命题.在命题中,判断哪...
将下列命题符号化,并讨论其真值.
下式推证是否有效? 甲、乙、丙、丁四人参...