未分类题
证明下列公式是重言式:
(1)((P→Q)→(¬Q→¬P))→((¬Q→¬P)→(P→Q)).
(2)(P→Q)→((P∧Q)∨(¬P∧¬Q)).
A.
【参考答案】
(1) 原式=((¬P∨Q)→(Q∨¬P))→((Q∨¬P)
→(¬P∨Q))
=(¬(¬P∨Q)∨(Q......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
点击查看答案
<上一题
目录
下一题>
热门
试题
未分类题
证明蕴含重言式:((P→Q)∧(Q→R))→(P→R).
点击查看答案
未分类题
用真值表证明:合取对析取的分配律.
点击查看答案
相关试题
求公式P∧(P→Q)的析取范式和合取范式.
检验下述论证的有效性:如果我学习,那么我...
根据下列前提,写出可能导出的结论,以及所...
证明:P→Q,¬Q∨R,¬R,¬(¬P∧S)⇔¬...
设有前提:¬P∨¬Q,¬P→A,A→¬B,证明...