P→Q⇔¬Q→¬P
P∨（P∧R）⇔R
P∧（P→Q）⇔Q
P→（Q→R）⇔（P∧Q）→R
多选题以“～（p∨q）←r”为一个前提，若加上另一个前提（）。A“r”，则能必然推出“～p∧～q”B“～p∧～q”，则能必然推出“～r”C“～r”，则能必然推出“p∨q”D“p∨q”，则能必然推出“～r”E“r”，则能必然推出“～p”
点击查看答案
多选题（多选）下列等值式成立的有（ ）。AP→Q⇔¬Q→¬PBP∨（P∧R）⇔RCP∧（P→Q）⇔QDP→（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假时，下列复合判断为真的有（）。Ap→qBpVqCp←qDp∧qE-p∨q
多选题下列推理形式中，有效式是（ ）A（p∧q∧r）→（p∧r）B（（→）∧q）→pC（（p∨q）∧p）→D（（←q）∧）→qE（（p→）∧）→q
多选题下列推理形式中，无效的是（）。A如果p，那么r；如果非p，那么r；P或者非P；所以rB只有非P，才q；非p；所以非qC要么p，要么q；q；所以pD如果p并且q，那么r；非p或者非q；所以；非rEp并且非q，所以p
多选题以“～p”和“p←（q←r）”为前提，可必然推出结论（）。Ap←rB～p∨rCq→pDrE～（q←r）
