【简答题】用等值演算证明下列为重言式: (P→Q)→(¬Q→¬P)
【简答题】用等值演算证明下列为重言式: (P→Q)→(¬Q→¬P)
发布时间：2025-03-07 03:02:01
请在 下方输入 要搜索的题目：
推荐参考答案 (
由 快搜搜题库 官方老师解答 )
答案：(1)证明:原式 (¬P∨Q)→(Q∨¬P) ¬(¬P∨Q)∨(Q∨¬P) (P∧¬Q∨(Q∨¬P) (P∨Q∨¬P)∧(¬Q∨Q∨¬P) 1∧1 1 重言式
相关试题
- 1.【简答题】用等值演算证明下列为重言式: (P→Q)→(¬Q→¬P)
- 2.用等值演算法证明等值式（1）、((p→q)∧(p→r))<=>(p→(q∧r));（2）、(p∧q)∨(p∧¬q)<=>p.附：
- 3.p真q假非p为假p合取q为假p析取q为真p蕴含q为假p等值q为假
- 4.¬(p∨q)等值于（）
- 5.¬(p∨q)等值于()
- 6.以下与命题P®Q等值的命题是()。 A.ØPÚQB.ØQÚPC.ØPÙQD.ØQÙP
- 7.下列哪个等价公式有错?A、P Q Q P;B、P Q P Q;C、P Q Q P;
- 8.下列哪个等价公式有错?A、P Q Q P;B、P Q P Q;C、P Q Q P;
- 9.证明(P∧Q)等价于￢(￢(Q∧P))
- 10.蕴涵的证明方法是：为了证明P®Q，假设P，证明Q。
