网友您好， 请在下方输入框内输入要搜索的题目：
题目内容
（请给出正确答案）
如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学，所以他是文科学生。 证明：设P：他是理科学生； Q：他学好数学； R：他是文科学生； 本例符号化为以下形式推理： P→Q，˥R→P，⊢˥Q→R （1）P→Q P （2）˥R→P P （3）˥R→Q T（1）（2）I （4）˥Q→R T（3）E 故本例是有效论证。 以上推理是否正确。
参考答案和解析
设P：小王是理科学生 Q：小王一定会学好数学 R：小王是文科生 (1) P->Q (2) ┐R->P
更多 “如果他是理科学生，他必学好数学。如果他不是文科学生，他必是理科学生。他没学好数学，所以他是文科学生。 证明：设P：他是理科学生； Q：他学好数学； R：他是文科学生； 本例符号化为以下形式推理： P→Q，˥R→P，⊢˥Q→R （1）P→Q P （2）˥R→P P （3）˥R→Q T（1）（2）I （4）˥Q→R T（3）E 故本例是有效论证。 以上推理是否正确。” 相关考题
考题
下列命题公式中为重言式的是Ⅰ．((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．Ⅰ、Ⅱ、Ⅲ和Ⅳ
考题
设程序如下:includeusing namespace std;int main(){int **p,*q,r=10;q=r;p= int main() { int **p,*q,r=10; q=r; p=q; cout＜＜**p+1＜＜end1; return 0; } 以上程序的输出结果是( )A． p的地址B． r的地址C．11D．运行错误
考题
有以下程序includestdio.hint*f(int*p,int*q);main( ){int m=1,n=2,*r=m;r=f(r,stdio．hint*f(int*p，int*q)；main( ){int m=1，n=2，*r=m；r=f(r，n)；printf(”％d＼n”，*r)；}int-f(int*P，int*q)(return(*p*q)?p：q；)程序运行后的输出结果是______。
考题
在以下二难推理中，无效式是（）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
考题
以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。A、～（p∨q），能必然推出（～r∨～s）B、（～r∨～s），能必然推出（p∨q）C、（p∨q），能必然推出～（r∧s）D、～（r∧s），能必然推出（～p∨～q）
考题
P，Q，R都是4bit的输入矢量，下面哪一种表达形式是正确的（）A、input P[3:0],Q,R;B、input P,Q,R[3:0];C、input P[3:0],Q[3:0],R[3:0];D、input [3:0] P,[3:0]Q,[0:3]R;E、input [3:0] P,Q,R;
考题
在下列选言推理形式中，无效的有（）。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；所以；非rE、p并且非q，所以p
考题
下列推理形式中，无效的有（）。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∧s）”为一个前提进行演绎推理，若加上前提（）。A
～（p∨q），能必然推出（～r∨～s）B
（～r∨～s），能必然推出（p∨q）C
（p∨q），能必然推出～（r∧s）D
～（r∧s），能必然推出（～p∨～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，那么r；如果非p，那么r；P或者非P；所以rB只有非P，才q；非p；所以非qC要么p，要么q；q；所以pD如果p并且q，那么r；非p或者非q；所以；非rEp并且非q，所以p
热门标签
最新试卷