问答题试判断以下各式是否为重言式。　　（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））

第1题：

第2题：

第3题：

第4题：

以“（p→q）→r”和“～r”为前提，可必然推出结论（）。

• A、～p∧q
• B、r→p
• C、q∨r
• D、～（～p∨q）
• E、～q∧p

第5题：

在以下二难推理中，无效式是（）

• A、（（（p→q）∧（r→s））∧（p∨r））→（q∨s）
• B、（（（p→q）∧（r→s））∧（∨）
• C、（（p→q）∧（p→r））∧（∨））→p
• D、（（（p→q）∧（r→q））∧（p∨r））→q

第6题：

A.ε=2g(Q-P)/RW
B.ε=2g(Q+P)/RW
C.ε=2g(Q+P)/R(W+2Q+2P)
D.ε=2g(Q-P)/R(W+2Q+2P)

答案：D

解析：

第7题：

下列推理形式中，有效式是（　）

• A、（p∧q∧r）→（p∧r）
• B、（（→）∧q）→p
• C、（（p∨q）∧p）→
• D、（（←q）∧）→q
• E、（（p→）∧）→q

第8题：

第9题：

命题形式～（p→（q←r））等值于（）。

• A、～（（p∧q）→r）
• B、p∧（～q∧～r）
• C、p∧（～q∧r）
• D、p∧（q∧～r）

第10题：

以“（p∨q）→（r∧s）”为一个前提进行演绎推理，若加上前提（）。

• A、～（p∨q），能必然推出（～r∨～s）
• B、（～r∨～s），能必然推出（p∨q）
• C、（p∨q），能必然推出～（r∧s）
• D、～（r∧s），能必然推出（～p∨～q）