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

接受语言{任何不是0开头的奇正整数的集合} 的 CFG文法为 （ ） A: S→J|ABJ, B→0B|AB|e, A→J|2|4|6|8, J→1|3|5|7|9 B: S→J|ABJ, B→0B|AB|e, A→J|0|2|4|6|8, J→1|3|5|7|9 C: S→J|ABJ, B→0B|AB, A→J|2|4|6|8, J→1|3|5|7|9 D: S→J|ABJ, B→0B|e, A→J|2|4|6|8, J→1|3|5|7|9

给定关系 R（A，B，C，D）和关系 S（A，C，D，E，F），对其进行自然连接运算 R∞S 后的属性列为（）个；与σR.C＞S.F（R∞S）等价的关系代数表达式为（请作答此空） A: σ3＞9（RxS） B: π1,2,3,4,8,9（σ1=5∧3=6∧4=7∧3＞9（R×S）） C: σ＇3＇＞＇9＇（R×S） D: 1,2,3,4,8,9（σ1=5∧3=6∧4=7∧＇3＇＞＇9＇（R×S））

输出九九乘法表。1 2 3 4 5 6 7 8 9---------------...9*7=63 9*8=72 9*9=81

用真值表判断下列公式的类型 (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∨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

以下程序段实现的输出是（）。for(i=0;i<;=9;i++)s[i]=i;for(i=9;i>;=0;i--)printf("%2d",s[i]);[/i][/i] A: 9 7 5 3 1 B: 1 3 5 7 9 C: 9 8 7 6 5 4 3 2 1 0 D: 0 1 2 3 4 5 6 7 8 9

9*1=9 9*2=18 9*3=27 9*4=36 9*5=45 9*6=54 9*7=63 9*8=72 9*9=81

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

输出九九乘法表。 1 2 3 4 5 6 7 8 9 --------------------------------------------------------------------- 1*1=1 2*1=2 2*2=4 3*1=3 3*2=6 3*3=9 4*1=4 4*2=8 4*3=12 4*4=16 5*1=5 5*2=10 5*3=15 5*4=20 5*5=25 6*1=6 6*2=12 6*3=18 6*4=24 6*5=30 6*6=36 7*1=7 7*2=14 7*3=21 7*4=28 7*5=35 7*6=42 7*7=49 8*1=8 8*2=16 8*3=24 8*4=32 8*5=40 8*6=48 8*7=56 8*8=64 9*1=9 9*2=18 9*3=27 9*4=36 9*5=45 9*6=54 9*7=63 9*8=72 9*9=81