由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s
由前提“(p→q)∧(r→s)”和“(p∨r)”,可得出结论( ) A: ¬q∧s B: ¬(¬q∧¬s) C: ¬(q∨s) D: q∧s
利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I
利用反证法证明:R∨S,R→¬Q,S→¬Q,P→Q=>¬P请将下面推理论证的过程补充完整。(说明:输入答案时,不要输入多余的空格)证明过程如下:(1)( ) 假设前提 (2)P→Q P(3) Q T(1)(2) I(4)S→¬Q P(5)( ) T(3)(4) I(6)R∨S P(7)R T(5)(6) I(8)R→¬Q P(9)¬Q T(7)(8) I(10)( )矛盾 T(3)(9) I
用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
用真值表判断下列公式的类型 (1)p→(p∨q∨r) (2)(p→Øp)→Øq (3) Ø(q→r)∧r (4)(p→q)→(Øq→Øp) (5)(p∧r) « (Øp∧Øq) (6)((p→q)∧(q→r))→(p→r) (7)(p→q) « (r«s)
有功功率P=4KW,无功功率Q=3KVAR,则视在功率S=()KVA A: 7 B: 5 C: 1
有功功率P=4KW,无功功率Q=3KVAR,则视在功率S=()KVA A: 7 B: 5 C: 1
请用归谬赋值法判定下列命题是否为重言式:((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)
请用归谬赋值法判定下列命题是否为重言式:((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)
水洗滤池根据采用的滤料不同,冲洗强度及冲洗时间也不相同,如果采用双层滤料过滤,其冲洗强度和冲洗时间应选______。 A: q=12~15L/(s·m2),t=7~5min B: q=13~16L/(s·m2),t=8~6min C: q=16~17L/(s·m2),t=7~5min D: 无法确定
水洗滤池根据采用的滤料不同,冲洗强度及冲洗时间也不相同,如果采用双层滤料过滤,其冲洗强度和冲洗时间应选______。 A: q=12~15L/(s·m2),t=7~5min B: q=13~16L/(s·m2),t=8~6min C: q=16~17L/(s·m2),t=7~5min D: 无法确定
已知一个单链表中,指针q指向指针p的前趋结点,若在指针q所指结点和指针p所指结点之间插入指针s所指结点,则需执行( ) A: q→next=s;p→next=s; B: q→next=s;s→next=p; C: q→next=s;q→next=p; D: q→next=s;s→next=q;
已知一个单链表中,指针q指向指针p的前趋结点,若在指针q所指结点和指针p所指结点之间插入指针s所指结点,则需执行( ) A: q→next=s;p→next=s; B: q→next=s;s→next=p; C: q→next=s;q→next=p; D: q→next=s;s→next=q;
推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t
推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t
推理证明下列各题的有效结论。 ⑴p→ (q∨r ), (t∨ s)→p,(t∨ s) q∨r ⑵p∧q, (p? q)→ (t∨ s) (t∨ s)
推理证明下列各题的有效结论。 ⑴p→ (q∨r ), (t∨ s)→p,(t∨ s) q∨r ⑵p∧q, (p? q)→ (t∨ s) (t∨ 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
( )不是正确的推理形式。 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