在公式p=aÚb®c, q=aÙb®c, r=p®q, s=q®p中为真的是( )。
A: p
B: q
C: r
D: s
A: p
B: q
C: r
D: s
C
举一反三
- 下列公式满足形式A→(B→C)的有: A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)
- 设p∧q真,r假,下列公式中取值为真的是() A: q∧r↔p B: (-p∧-r)∨-q C: q∨-r→p D: (q→p)→((p→-r)→(-r→-q))
- 下列推理形式中,无效的有()。 A: ((p∨~q)∧q)→~p B: ((p∧q)∧r)→(p∧r) C: ((~p→q)∧q)→~p D: ((p→q)∧(r∧p))→q E: (p→q)∧(r→s)∧(q∨s))→(p∨r)
- 请问谓词公式C1=P∨Q∨R,C2=﹁P∨S的亲本子句是哪一个? A: P∨Q∨R B: ﹁P∨S C: Q∨R∨S D: P∨Q∨R∨S
- ( )不是正确的推理形式。 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
内容
- 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)