单选题在以下二难推理中，无效式是（）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））等值于（）。A （p∨（～q∧r））B （p∧（～q∧～r））C （p∧（～q∨～r））D （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
问答题If p+q=400 and p (1) p+r+s=600 (2) q+r>400
多选题下列推理形式中，有效式是（ ）A（p∧q∧r）→（p∧r）B（（→）∧q）→pC（（p∨q）∧p）→D（（←q）∧）→qE（（p→）∧）→q
