• 2021-04-14
    以p→q、p∨r、r→q和﹁q∨s为前提推出结论s∧q,所用的推理形式有
  • 二难推理的简单构成式 --- 选言推理的否定肯定式 --- 联言推理的组合式

    内容

    • 0

      ‎以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有‏ A: r∨s B: r∧s C: ﹁p∧﹁q D: ﹁p∨﹁q

    • 1

      以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有()。 A: ﹁r∨﹁s B: r∧s C: ﹁p∧﹁q D: ﹁p∨﹁q E: r∨s

    • 2

      以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有(<br/>) A: ﹁p∨﹁q B: r∧s C: r∨s D: ﹁p∧﹁q

    • 3

      以(﹁p∨﹁q)∧(r∧s)为前提进行推理,可以有效推出的结论有(<br/>) A: ﹁p∨﹁q B: r∧s C: r∨s D: ﹁p∧﹁q

    • 4

      ( )不是正确的推理形式。 A: 前提:¬p∧q,p∨¬r,r∨s,s→u 结论:u B: 前提:(p∧q)→r, ¬r∨s,¬s,p 结论:¬q C: 前提:(p∧q)→r,¬r∨s, ¬s,p 结论:q D: 前提:p∨q,p→s,q→r 结论:s∨