• 2022-06-06
    在公式p=aÚb®c, q=aÙb®c, r=p®q, s=q®p中为真的是( )。
    A: p
    B: q
    C: r
    D: s
  • C

    内容

    • 0

      下列推理形式中,有效的是 A: (p∨~q)∧p→~q B: (p→~q)∧q→~p C: (~p←q)∧q→~p D: (p∨~q)∧q→~p E: [(p→q)∧(r→s)∧(~p∨~r)]→(~q∨~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®(P∨Q)) B: (ØP®Q)®(Q®P))) C: ((ØP®Q)®(Q®P)) D: (Q®R∧S)

    • 3

      命题公式(p→q)∧「r的主析取范式为___________。 A: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r) B: (﹁p∧﹁q∧﹁r)∨(﹁p∧q∧﹁r)∨(p∧q∧﹁r) C: (﹁p∧﹁q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r) D: (﹁p∧q∧﹁r)∨(p∧﹁q∧﹁r)∨(p∧q∧﹁r)

    • 4

      下列演绎推理式中,无效式为( ) A: (p←﹁q)∧q├﹁p B: ( ﹁p→q)∧﹁p├q C: (p∨q)∧﹁p├q D: (要么﹁p要么q)∧﹁p├<br/>q E: (p→q)∧(q→﹁r)∧(﹁r→s)├(p→s)