行为过程的S-P-R公式中，S代表 ，P代表 、R代表 。
行为过程的S-P-R公式中，S代表 ，P代表 、R代表 。
( )不是正确的推理形式。 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
( )不是正确的推理形式。 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
( )不是正确的推理形式。 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
( )不是正确的推理形式。 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
(( P∨S)∧R)∨┐(( P∨S)∧R) 为重言式。
(( P∨S)∧R)∨┐(( P∨S)∧R) 为重言式。
( )不是正确的推理形式。 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∨
( )不是正确的推理形式。 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∨
下列前提推出的结论是( )┐p→q, p→r, r→s A: q∨s B: r→p C: r∨s D: p→q
下列前提推出的结论是( )┐p→q, p→r, r→s A: q∨s B: r→p C: r∨s D: p→q
证明：(P→(Q→R))∧(┐S∨P)∧Q⇒S→R
证明：(P→(Q→R))∧(┐S∨P)∧Q⇒S→R
证明P®(Q®S),ØR∨P,QÞR®S。
证明P®(Q®S),ØR∨P,QÞR®S。
下列公式满足形式A→(B→C)的有： A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)
下列公式满足形式A→(B→C)的有： A: p→(q→(r→s)) B: p→((q→r)→s) C: (p→(q→r))→s D: (p→q)→(r→s)
请问谓词公式C1=P∨Q∨R，C2=﹁P∨S的亲本子句是哪一个？ A: P∨Q∨R B: ﹁P∨S C: Q∨R∨S D: P∨Q∨R∨S
请问谓词公式C1=P∨Q∨R，C2=﹁P∨S的亲本子句是哪一个？ A: P∨Q∨R B: ﹁P∨S C: Q∨R∨S D: P∨Q∨R∨S