以（1）﹁q、（2）p∨q、（3）p→r为前提推出结论r，所用的推理形式有
选言推理的否定肯定式 --- 充分条件推理的肯定前件式
举一反三
- 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有
- 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q，所用的推理形式有
- 构造下列推理的证明。 （1）前提：¬P∨Q, ¬（Q∧R）,R；结论：¬P。 （2）前提：（P→Q）→（Q→R）,R→P;结论：Q→P。 （3）前提：P→（Q→R）, ¬S∨P;结论：Q→（S→R）。 （4）前提：¬P∧¬Q;结论：¬（P∧Q）。 （5）前提：P→¬Q,R∨S,S→¬Q;结论：¬P
- 以（1）p∨q∨﹁r、（2）(p∨q)→(s∧﹁q)、（3）r为前提推出结论p∧r，所用的推理形式有 A: 一次运用选言三段论规则 B: 简化规则 C: 两次运用选言三段论规则 D: 肯定前件规则
- 以(﹁p∨﹁q)∧(r∧s)为前提进行推理，可以有效推出的结论有? ﹁p∨﹁q|r∧s|r∨s|﹁p∧﹁q
内容
- 0
以(﹁p∨﹁q)∧(r∧s)为前提进行推理，可以有效推出的结论有 A: r∨s B: r∧s C: ﹁p∧﹁q D: ﹁p∨﹁q
- 1
( )不是正确的推理形式。 A: 前提： p∨q, pÛr, ~q∨s 结论： s∨ B: 前提： ~p∧q, p∨~r, r∨s, sÞu 结论： u C: 前提： pÞ(qÞr) 结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p 结论： q
- 2
( )不是正确的推理形式。 A: 前提： ~p∧q, p∨~r, r∨s, sÞu结论： u B: 前提： p∨q, pÛr, ~q∨s结论： s∨r C: 前提： pÞ(qÞr)结论： (pÞq)Þ(pÞr) D: 前提： (p∧q)Þr, ~r∨s, ~s, p结论： q
- 3
以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。
- 4
以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有(<br/>) A: ﹁p∨﹁q B: r∧s C: r∨s D: ﹁p∧﹁q