未分类题
证明:P→Q,¬Q∨R,¬R,¬(¬P∧S)⇔¬S.
【参考答案】
证明 P→Q=¬P∨Q,¬(¬P∧S)=P∨¬S.
①¬Q∨R P
②¬R P
③¬Q ①②T,......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
<上一题
目录
下一题>
热门
试题
未分类题
根据下列前提,写出可能导出的结论,以及所用的推理规则: 如果我跑步,那么我很疲劳. 我没有疲劳.
A.
点击查看答案
未分类题
检验下述论证的有效性:如果我学习,那么我数学不会不及格.如果我不热衷于打麻将,那么我将学习.但我数学课不及格,因此我热衷于打麻将.
A.B.
点击查看答案
相关试题
设有前提:¬P∨¬Q,¬P→A,A→¬B,证明...
证明下面各题.(1)我夫人过生日,我送一...
称由前提A1,A2,…,Ak推出结论B的推理...
判断下列句子哪些是命题.在命题中,判断哪...
将下列命题符号化,并讨论其真值.