下列公式满足形式A→(B→C)的有:
A: p→(q→(r→s))
B: p→((q→r)→s)
C: (p→(q→r))→s
D: (p→q)→(r→s)
A: p→(q→(r→s))
B: p→((q→r)→s)
C: (p→(q→r))→s
D: (p→q)→(r→s)
A,B,D
举一反三
- ( )不是正确的推理形式。 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, 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)∧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,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∨
内容
- 0
下列前提推出的结论是( )┐p→q, p→r, r→s A: q∨s B: r→p C: r∨s D: p→q
- 1
构造下列推理的证明。 (1)前提:¬P∨Q, ¬(Q∧R),R;结论:¬P。 (2)前提:(P→Q)→(Q→R),R→P;结论:Q→P。 (3)前提:P→(Q→R), ¬S∨P;结论:Q→(S→R)。 (4)前提:¬P∧¬Q;结论:¬(P∧Q)。 (5)前提:P→¬Q,R∨S,S→¬Q;结论:¬P
- 2
构造下列推理的证明。 A: P∧S B: P→S C: S D: P→(Q∨R) E: P→(Q→R) F: S→┐Q G: S→Q H: H. R
- 3
请用归谬赋值法判定下列命题是否为重言式:((p→q)∧(r→s))∨(p∨r)→q∨s((p→q)∧(r→s))∨(¬q∨¬s)→¬p∨¬r((p→q)∧(r→s))∧(p∧r)→q∧s(f∨g→(q→(i«k)))∧(q∧i)∧(q∨m→f)→(i«k)
- 4
证明:(P→(Q→R))∧(┐S∨P)∧Q⇒S→R