网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
多选题
（多选）下列等值式成立的有（ ）。
A
P→Q⇔¬Q→¬P
B
P∨（P∧R）⇔R
C
P∧（P→Q）⇔Q
D
P→（Q→R）⇔（P∧Q）→R
参考答案
参考解析
解析：
使用特值法检验，B选项中，若令P⇔1、R⇔0，则P∨（P∧R）⇔1，R⇔0，二者不等值，故B不成立；C选项中，若令P⇔0、Q⇔1，则P∧（P→Q）⇔0，Q⇔1，二者不等值，故C项不成立；A、D由真值表可以验证成立，故本题选A、D。
使用特值法检验，B选项中，若令P⇔1、R⇔0，则P∨（P∧R）⇔1，R⇔0，二者不等值，故B不成立；C选项中，若令P⇔0、Q⇔1，则P∧（P→Q）⇔0，Q⇔1，二者不等值，故C项不成立；A、D由真值表可以验证成立，故本题选A、D。
更多 “多选题（多选）下列等值式成立的有（ ）。AP→Q⇔¬Q→¬PBP∨（P∧R）⇔RCP∧（P→Q）⇔QDP→（Q→R）⇔（P∧Q）→R” 相关考题
考题
下列命题公式中为重言式的是Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))Ⅱ．(p→(q∨r))→((p→q)∧(p→r))Ⅲ．((p→q)∧(P→r))→((p→r)Ⅳ．((p∨q)∧(p→r))→(p→r)A．ⅢB．Ⅰ和ⅢC．Ⅰ和ⅡD．Ⅰ、Ⅱ、Ⅲ和Ⅳ
考题
有以下程序：main(){ int a=7，b=8, *p, *q, *r；p=a; q=b;r=p; p=q; q=r;printf("%d,%d,%d,%d\n", *p,*q,a,b);}程序运行后的输出结果是【 】。
考题
指针p、q和r依次指向某循环链表中三个相邻的结点，交换结点*q和结点*r在表中次序的程序段是 ( )A．p—＞next=r; q—＞next=r—＞next; r—＞next=q;B．p—＞next=r; r—＞next=q; q—＞next=r—＞next;C．r—＞next=q; q—＞next=r—＞next; p—＞next=r;D．r—＞next=q; p—＞next=r; q—＞next=r—＞next;
考题
在以下二难推理中，无效式是（）A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）B、（（（p→q）∧（r→s））∧（∨）C、（（p→q）∧（p→r））∧（∨））→pD、（（（p→q）∧（r→q））∧（p∨r））→q
考题
在下列选言推理形式中，无效的有（）。A、（p∨q）∧p├﹁qB、（pqr）∧﹁p├q∧rC、（pqr）∧﹁p├qrD、（p∨q∨r）∧﹁p├q∨rE、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s
考题
下列推理形式中，无效的有（）。A、（（p∨～q）∧q）→～pB、（（p∧q）∧r）→（p∧r）C、（（～p→q）∧q）→～pD、（（p→q）∧（r∧p））→qE、（p→q）∧（r→s）∧（q∨s））→（p∨r）
考题
下列推理形式中，有效式是（）。A、如果非p，那么非q；q；所以pB、要么非p，要么q；非p；所以非qC、只有非p，才q；非p；所以qD、如果p，那么非q；非p；所以qE、p并且q并且r；所以p并且r
考题
问答题试判断以下各式是否为重言式。 （1）（P→Q）→（Q→P） （2）P→（P→Q） （3）Q→（P→Q） （4）（P∧Q）→（P→Q） （5）（（P→Q）∨（R→Q））→（（P∨R）→Q） （6）（（P→Q）∨（（R→S））→（（P∨R）→（Q∨S））
考题
多选题下列推理形式中，无效的有（）。A（（p∨～q）∧q）→～pB（（p∧q）∧r）→（p∧r）C（（～p→q）∧q）→～pD（（p→q）∧（r∧p））→qE（p→q）∧（r→s）∧（q∨s））→（p∨r）
考题
单选题在以下二难推理中，无效式是（）A
（（（p→q）∧（r→s））∧（p∨r））→（q∨s）B
（（（p→q）∧（r→s））∧（∨）C
（（p→q）∧（p→r））∧（∨））→pD
（（（p→q）∧（r→q））∧（p∨r））→q
考题
多选题下列推理形式中，有效式是（）。A如果非p，那么非q；q；所以pB要么非p，要么q；非p；所以非qC只有非p，才q；非p；所以qD如果p，那么非q；非p；所以qEp并且q并且r；所以p并且r
考题
多选题以“～（p∨q）←r”为一个前提，若加上另一个前提（）。A“r”，则能必然推出“～p∧～q”B“～p∧～q”，则能必然推出“～r”C“～r”，则能必然推出“p∨q”D“p∨q”，则能必然推出“～r”E“r”，则能必然推出“～p”
考题
多选题在下列选言推理形式中，无效的有（）。A（p∨q）∧p├﹁qB（pqr）∧﹁p├q∧rC（pqr）∧﹁p├qrD（p∨q∨r）∧﹁p├q∨rE（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s
考题
多选题下列推理形式中，无效的是（）。A如果p，那么r；如果非p，那么r；P或者非P；所以rB只有非P，才q；非p；所以非qC要么p，要么q；q；所以pD如果p并且q，那么r；非p或者非q；所以；非rEp并且非q，所以p
考题
多选题以“～p”和“p←（q←r）”为前提，可必然推出结论（）。Ap←rB～p∨rCq→pDrE～（q←r）
热门标签
最新试卷