以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()
A.选言推理的肯定否定式
B.联言推理的分解式
C.选言推理的否定肯定式
D.假言推理的肯定前件
E.假言推理的否定后件式
多选题以“~(p∨q)←r”为一个前提,若加上另一个前提()。A“r”,则能必然推出“~p∧~q”B“~p∧~q”,则能必然推出“~r”C“~r”,则能必然推出“p∨q”D“p∨q”,则能必然推出“~r”E“r”,则能必然推出“~p”
点击查看答案
单选题以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。A ~(p∨q),能必然推出(~r∨~s)B (~r∨~s),能必然推出(p∨q)C (p∨q),能必然推出~(r∧s)D ~(r∧s),能必然推出(~p∨~q)
多选题以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。A选言推理的肯定否定式B联言推理的分解式C选言推理的否定肯定式D充分条件推理的肯定前件式E充分条件推理的否定后件式
多选题以“~p”和“p←(q←r)”为前提,可必然推出结论()。Ap←rB~p∨rCq→pDrE~(q←r)
多选题以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。A~rB~qC~pDr→pEp∧q
多选题以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。ApB~sC~r∧pD~rEs→q
多选题以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。A一次运用选言推理的否定肯定式B联言推理的分解式C两次运用选言推理的否定肯定式D充分条件推理的肯定前件式E联言推理的组合式