在以下假言推理中，有效式是（）A、（（→）∧p）→qB、（（→）∧）→C、（→）∧）→（D、（（p←）∧p）→

第1题：

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

• A、只有非p，才q；非p所以非q
• B、p要么非q；q所以p
• C、如果p且q，那么r；非p或非q，所以非r
• D、p且非q；所以p

第2题：

下列负判断的等值判断，其有效式是（）

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

第3题：

第4题：

在以下命题形式中，与p→q具有等值关系是（）。

• A、p∧q
• B、﹁p∧q
• C、p∨q
• D、﹁p∨q

第5题：

“要么P要么q，非p，q”这种结构是哪种推理？（）

• A、不相容选言推理
• B、相容选言推理
• C、联言推理
• D、假言推理

第6题：

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

• 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

第7题：

下面哪一项不是必要条件假言命题的一般公式：（）

• A、若P则Q
• B、只有P才Q
• C、不P不Q
• D、Q必须P

第8题：

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

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

第9题：

在下列选言推理形式中，无效的有（）。

• A、（p∨q）∧p├﹁q
• B、（pqr）∧﹁p├q∧r
• C、（pqr）∧﹁p├qr
• D、（p∨q∨r）∧﹁p├q∨r
• E、（p∨q∨r∨s）∧（﹁p∧﹁q）├r∨s

第10题：

以﹁p为前提进行有效推理，另一前提可以是（）。

• A、p←﹁q
• B、p→﹁q
• C、p∨q
• D、﹁p∨﹁q
• E、﹁p←q