P→Q⇔¬Q→¬P
P∨（P∧R）⇔R
P∧（P→Q）⇔Q
P→（Q→R）⇔（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
点击查看答案
～（p→（q∨r））等值于（）。A、（p∨（～q∧r））B、（p∧（～q∧～r））C、（p∧（～q∨～r））D、（p∨（～q∨～r）
下列推理形式中，无效的有（）。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））
多选题以“（p→q）→r”和“～r”为前提，可必然推出结论（）。A～p∧qBr→pCq∨rD～（～p∨q）E～q∧p
多选题一p∧q的等值判断有（）。Ap→qB一（p←q）C一（p→q）D一（p∨q）E一（q→p）
