在公式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
举一反三
- 下列公式满足形式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