【简答题】用等值演算证明下列为重言式: (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.¬(p∨q)等值于()
- 3.用演绎推理法证明推理公式。 ¬(r ∨ s) → ¬(p ∨ q), p, (s → r) ∨ ¬p ⇒ r
- 4.,a,b); } swap (int p,int q) {int t; t=p;p=q;q=t;}
- 5.┐(P∨Q) ←→(P∧Q)的主析取范式是（ ）
- 6.下列程序段的输出是_____。int *p, *q, k = 5 , j = 6 ;q = &k ; p = q ; q = &j ;printf("%d", *p);
- 7.已知复合命题“p或q”为真命题，“p且q”为假命题，下列三个结论：
- 8.已知p、q均为质数，并且存在两个正整数m，n，使得p=m n，q=mn，则 p p q q m n n m 的值为______．
- 9.证明:((Q A S) T R) A (S T (R)Y= (S A (P Q)) R.
- 10.当“¬p→q”为假时
