10、以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有
A.一次运用选言三段论规则
B.简化规则
C.两次运用选言三段论规则
D.肯定前件规则
第1题:
以“~r→p”和“(~q∨~r)∧q”为前提,能必然推出结论()。
第2题:
以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。
第3题:
以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。
第4题:
下列推理形式中,无效的有()。
第5题:
以“~p”和“p←(q←r)”为前提,可必然推出结论()。
第6题:
以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。
第7题:
~p∧q
r→p
q∨r
~(~p∨q)
~q∧p
第8题:
二难推理的简单构成式
二难推理的复杂构成式
选言推理的肯定否定式
选言推理的否定肯定式
联言推理的组合式
第9题:
﹁r∨﹁s
r∧s
﹁p∧﹁q
﹁p∨﹁q
r∨s
第10题:
~(p∨q),能必然推出(~r∨~s)
(~r∨~s),能必然推出(p∨q)
(p∨q),能必然推出~(r∧s)
~(r∧s),能必然推出(~p∨~q)
第11题:
选言推理的肯定否定式
联言推理的分解式
选言推理的否定肯定式
充分条件推理的肯定前件式
充分条件推理的否定后件式
第12题:
p
~s
~r∧p
~r
s→q
第13题:
以“(p∨q)→(r∧s)”为一个前提进行演绎推理,若加上前提()。
第14题:
在下列选言推理形式中,无效的有()。
第15题:
以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。
第16题:
以“p”和“r∨~q∨~p”为前提进行推理,能必然推出的结论是()。
第17题:
以“p∨~r”、“~q→~s”和“~p∧~q”为前提,可必然推出结论()。
第18题:
第19题:
((p∨~q)∧q)→~p
((p∧q)∧r)→(p∧r)
((~p→q)∧q)→~p
((p→q)∧(r∧p))→q
(p→q)∧(r→s)∧(q∨s))→(p∨r)
第20题:
(((p→q)∧(r→s))∧(p∨r))→(q∨s)
(((p→q)∧(r→s))∧(∨)
((p→q)∧(p→r))∧(∨))→p
(((p→q)∧(r→q))∧(p∨r))→q
第21题:
“r”,则能必然推出“~p∧~q”
“~p∧~q”,则能必然推出“~r”
“~r”,则能必然推出“p∨q”
“p∨q”,则能必然推出“~r”
“r”,则能必然推出“~p”
第22题:
(p∨q)∧p├﹁q
(pqr)∧﹁p├q∧r
(pqr)∧﹁p├qr
(p∨q∨r)∧﹁p├q∨r
(p∨q∨r∨s)∧(﹁p∧﹁q)├r∨s
第23题:
p←r
~p∨r
q→p
r
~(q←r)
第24题:
一次运用选言推理的否定肯定式
联言推理的分解式
两次运用选言推理的否定肯定式
充分条件推理的肯定前件式
联言推理的组合式