利用反证法证明：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）5 7 9 11（） （） （）（）（2）26 23 20 17（）（） 8（）（3）1 2 4 7 11（） （） 29（4）7 3 8 3 9 3（）（）（5）1 1 2 3 5 8（）（）

下面哪个是合法的序列化数据格式？（） A: O：7："Student"：2：{s：4："name"；s：4："qian"；s：3："age"；s：25；} B: O：7："Student"：2：{s：4："name"；s：4："qian"；s：3："age"；i：25；} C: O：8："Student"：2：{s：4："name"；s：4："qian"；s：3："age"；s：25；} D: O：8："Student"：2：{s：4："name"；s：4："qian"；s：3："age"；i：25；}

A=4’b1101，B=4’b1011，定义S为S[7:0]，下列正确的是： A: S=A+B=8’b00011001 B: S=A-B=8’b11101000 C: S=A*B=8’b10001111 D: S=A%3=8’b00000010

写一个文法G,使其语言为不以0开头的偶数集。 A: G[S]:S→AB|BA→AD|CB→2|4|6|8｜0C→1|3|5||7|9|B B: G[S]:S→AB|BA→AD|CB→1|2|3|4|5|6|7|8|9C→2|4|6|8｜0 C: G[S]:S→AB|BA→AD|CB→2|4|6|8｜0C→1|2|3|4|5|6|7|8|9D→0|C D: G[S]:S→AB|BA→AD|DB→2|4|6|8｜0D→1|2|3|4|5|6|7|8|9|0

构造下列命题的真值表。 （1）¬（P→Q）∧Q。 （2）（P→¬Q）→¬Q。 （3）P→Q∨R。 （4）P↔¬Q。 （5）（（P∨Q）→R）↔S。

设P:2×2=5,Q:雪是黑的,R:2×4=8,S:太阳从东方升起,下列()命题的真值为真。 A: P→Q∧R B: R →P∧S C: S →Q ∧R D: ( P ∧R)∨(Q∧S)

【单选题】设 P : 2×2=5 , Q :雪是黑的, R : 2×4=8 , S :太阳从东方升起,则下列真命题为 () (2.0分) A. P→Q∧R B. R→P∧S C. S→Q∧R D. (P∧R)∨(Q∧S)

Linux下修改时间命令是（修改到2020年3月21日8：23：60）（） A: date -d “2020-03-21 8:23:00” B: date -l “2020-03-21 8:23:00” C: date -t “2020-03-21 8:23:00” D: date -s “2020-03-21 8:23:00”

3/5，7/10,11/15，3/4( ) A: 21/25 B: 7/8 C: 38/50 D: 23/30