• 2021-04-14
    设s=’I AM A STUDENT’ , t=’GOOD’ , q=’WORKER’则Concat(Substring(s,6,2),Concat(t,Replace(s,’STUDENT’,q)))=( )
  • A GOOD I AM A WORKER

    内容

    • 0

      证明: (p∧q)→r,¬r∨s,¬s,p蕴含¬q 过程如下: 证明: ⑴ q P(附加前提) ⑵ ¬r∨s P ⑶ ¬s P ⑷ ¬r T⑵⑶I ⑸ (p∧q)→r P ⑹ ¬(p∧q) T⑷⑸I ⑺ ¬p∨¬q T⑹E ⑻ p P ⑼ ¬q T⑺⑻I ⑽ q∧¬q(矛盾) T⑴⑼I 以上证明方法是用归谬法,证明过程是正确的

    • 1

      已知串s="abcdefg",串t="abcd",则concat(s,t)的结果是( )。 A: 1 B: abcd C: abcdefgabcd D: efg

    • 2

      推理证明下列各题的有效结论。 ⑴p→ (q∨r ), (t∨ s)→p,(t∨ s) q∨r ⑵p∧q, (p? q)→ (t∨ s) (t∨ s)

    • 3

      利用反证法证明: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

    • 4

      推理证明:p→(q∧r),Øq∨s,(t→Øu)→Øs,q→(p∧Øt)Þq→t