• 2022-06-29
    设有三个多项式,其系数向量分别为q、r、s,现在求它们的乘积,不能实现的命令有()。
    A: conv(q,r,s)
    B: conv(conv(q,r),s)
    C: conv(q,conv(r,s))
    D: conv(conv(s,r),q)
  • A

    内容

    • 0

      下列公式满足形式A→(B→C)的有: A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)

    • 1

      ‌( )不是正确的推理形式。‏ 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

    • 2

      ( )不是正确的推理形式。 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

    • 3

      由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s

    • 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∨