下列字符串是否是命题公式。 （1）（P→Q）↔（¬Q→¬P） （2）（Q∧（P→Q））→（P→Q） （3）（¬Q→P）→（P→Q） （4）（P∨Q→R↔）S （5）（P∧Q）↔P （6）（P→¬P）¬P （7）（P→QR→Q） （8）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （9）（P∧¬Q）∨（¬P∧Q） （10）（（Q∧R）→S）∧（R→（P∨S））∧（R∧P→Q）→S
下列字符串是否是命题公式。 （1）（P→Q）↔（¬Q→¬P） （2）（Q∧（P→Q））→（P→Q） （3）（¬Q→P）→（P→Q） （4）（P∨Q→R↔）S （5）（P∧Q）↔P （6）（P→¬P）¬P （7）（P→QR→Q） （8）¬（P↔Q）Û（P∨Q）∧¬（P∧Q） （9）（P∧¬Q）∨（¬P∧Q） （10）（（Q∧R）→S）∧（R→（P∨S））∧（R∧P→Q）→S
参考答案和解析
B
相关考题：
下列命题公式中为重言式的是Ⅰ．((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);}程序运行后的输出结果是【 】。
有以下程序:include main( ) { int a=7,b=8,* p,*q, *r; p=a;q=b; r=p; p= 有以下程序:#include ＜stdio.h＞ 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);程序运行后的输出结果是( )。A．8,7,8,7B．7,8,7,8C．8,7,7,8D．7,8,8,7
在以下二难推理中，无效式是（）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）
在下列选言推理形式中，无效的有（）。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）
问答题试判断以下各式是否为重言式。 （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
单选题以“（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∧r）→（p∧r）B（（→）∧q）→pC（（p∨q）∧p）→D（（←q）∧）→qE（（p→）∧）→q