【简答题】用等值演算证明下列为重言式: (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)等值于（）
- 4.¬(p∨q)等值于()
- 5.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
- 6.Элементами множеств А, P, Q являются натуральные числа, причёмP={1,2,3,4,5,6,7,10}P={1,2,3,4,5,6,7,10
- 7.用演绎推理法证明推理公式。 ¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
- 8.以下与命题P→Q等值的命题是()
- 9.,a,b); } swap (int p,int q) {int t; t=p;p=q;q=t;}
- 10.下列程序段的输出是_____。int *p, *q, k = 5 , j = 6 ;q = &k ; p = q ; q = &j ;printf("%d", *p);
