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, r∨¬q,r→s,则结论正确得是 。 A: p→s B: s→p C: s∧p D: s∨p
- ( )不是正确的推理形式。 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∨Q,¬(Q∨R),R结论:¬P
- ( )不是正确的推理形式。 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
- 请用归谬赋值法判定下列命题是否为重言式:((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)
内容
- 0
下列个符合命题的真值表有多少行?A. p→¬q :_________B. (p∨¬r)∧(q∨¬s) :_________C. q∨p∨¬s∨¬r∨¬t∨u :_________D. (p∧r∧t)→(q∧t) :_________
- 1
计算(¬P → Q)←→ R主析取范式规范正确的是 ——————— 。 A: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) B: (P ∧ Q ∧ ¬R) ∨ (P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ ( ¬P ∧ ¬Q ∧ R) C: ( P ∧ Q ∧ R)∨ (P ∧ ¬Q ∧ R)∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ ¬R) D: (¬P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ ¬Q ∧ R) ∨ ( P ∧ Q ∧ R)
- 2
计算(P→Q)∧(¬P→R)的主析取范式规范正确的是 ——————— 。 A: (¬P ∧ R) ∨ (P ∧ Q) ∨ (Q ∧ R) B: (P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (¬P ∧ Q ∧ R) ∨ (¬P ∧ ¬Q ∧ R) C: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R) D: (¬P ∧ ¬Q ∧ R) ∨ (¬P ∧ Q ∧ R) ∨ (P ∧ Q ∧ ¬R) ∨ (P ∧ Q ∧ R)
- 3
计算(¬P → Q)←→ R析取范式规范正确的是 ——————— 。 A: (P ∧ ¬Q ∧ ¬R) ∨ (P ∧ R) ∨ ( Q ∧ R) B: (¬P ∧ ¬Q ∧ ¬R) ∨ (P ∧ R) ∨ ( Q ∧ R) C: (P ∧ ¬Q ∧ ¬R) ∨ (P ∧ Q) ∨ ( Q ∧ R) D: (P ∧ ¬Q ∧ ¬R) ∨ (¬P ∧ Q) ∨ ( Q ∧ R)
- 4
前提P→¬Q,P,Q∨R的结论是 。 A: ¬P B: Q C: ¬R D: R