• 2021-04-14
    R.S.V.P. 译为:希望你能来。
  • 内容

    • 0

      【简答题】证明: ( ¶ p/ ¶ V) S = ( ¶ p/ ¶ V) T ( ¶ S/ ¶ T) P ( ¶ T/ ¶ S) V

    • 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∨S)∧R)∨┐(( P∨S)∧R) 为重言式。

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