多选题

以(1)p∨q∨﹁r、(2)(p∨q)→(s∧﹁q)、(3)r为前提推出结论p∧r,所用的推理形式有()。

A一次运用选言推理的否定肯定式

B联言推理的分解式

C两次运用选言推理的否定肯定式

D充分条件推理的肯定前件式

E联言推理的组合式

正确答案

来源:www.examk.com

答案解析

相似试题
  • 以(1)﹁q、(2)p∨q、(3)p→r为前提推出结论r,所用的推理形式有()。

    多选题查看答案

  • 以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有()。

    多选题查看答案

  • 试例示具有下列命题形式和推理形式的命题或推理. 1.所有S都不是P。 2.要么r,要么s。 3.如果p,那么q;非q;所以非p。 4.所有M都是P,S都是M,所以S都是P。

    简答题查看答案

  • 以“只有p,才q且r”和“非P”为前提,可必然推出结论()。

    单选题查看答案

  • 以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。

    多选题查看答案

  • 以﹁p→(q∧r)为一个前提,如果要必然地推出p∧s,则可增加的另一个前提是()。

    多选题查看答案

  • 以r←(p∨q)为一个前提,如果要有效地推得r,则可增加的另一个前提为()。

    多选题查看答案

  • 如果P,则Q,如果P则r,非q或者r,非p,这是()结构

    单选题查看答案

  • 如果p,那么非q;如果p,那么非r;q或r;所以,非p。这是二难推理的()。

    单选题查看答案