【多选题】【消耗次数:1】
设个体域 D={a,b,c}, 消去谓词“xF(x) ?yG(y)”中的量词后的形式,下面不正确的有:
(F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c));
(F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
(F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c));
(F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
参考答案:
复制
纠错
相关题目
【多选题】 设 f: A ? B, g: B ? C, 且 f○g: A ? C 是双射。则下面结论正确的有:
①  f : A ? B 是单射的;
②  g: B ? C 是满射的;
③  f : A ? B 是满射的;
④  都有可能。
【单选题】 设U={a,b,c,d,e,f,g},A={a,c,e,g}则Cu(A)=( )
①  {b,d,f}
②  {b,d,g}
③  {b,d,f,g}
④  {d,f,g}
【判断题】 设 f: A ? B, g: B ? C, 且 f○g: A ? C 是双射。则f : A ? B 是满射的。
①  正确
②  错误
【多选题】 设个体域 D={a,b,c}, 消去谓词“xy(F(x) úG(y))”中的量词后的形式,下面不正确的有:
①  (F(a) ùF(b)) ùF(c)) ù (G(a) úG(b) úG(c));
②  (F(a) ùF(b) ùF(c)) ú (G(a) ùG(b) ùG(c))
③  (F(a) ùF(b) ùF(c)) ? (G(a) ùG(b) ùG(c));
④  (F(a) ùF(b) ùF(c)) ù (G(a) ùG(b) ùG(c)).
【判断题】 设f:A→B, g:B→C, gof:A→C, 若gof是单射, 则g、f都是单射。
①  正确
②  错误
【判断题】 设f:A到B的函数,g:B到C的函数,gof:A到C的函数, 若gof是单射, 则g、f都是单射。
①  正确
②  错误
【判断题】 char[] chrArray={ a, b, c, d, e, f, g};char chr=chrArray[6];
①  正确
②  错误
【单选题】 无向图G=(V,E),其中:V={a,b,c,d,e,f},E={(a,b),(a,e),(a,c),(b,e),(c,f),(f,d),(e,d)},对该图进行深度优先遍历,得到的顶点序列正确的是( )。
①  a,b,e,c,d,f
②  a,c,f,e,b,d
③  a,e,b,c,f,d
④  a,e,d,f,c,b
【单选题】 ?设一个关系为R(A,B,C,D,E,F,G),它的最小函数依赖集为FD={A→B,A→C,C→D,C→E,A→F ,F→G},若要规范化为高一级的范式,则将得到( ? )个关系。
①  1
②  2
③  3
④  4
【单选题】 设一个关系为R(A,B,C,D,E,F,G),它的最小函数依赖集为FD={A→B,A→C,C→D,C→E,A→F ,F→G},若要规范化为高一级的范式,则将得到( )个关系。
①  1
②  2
③  3
④  4
【单选题】 设一个关系为R(A,B,C,D,E,F,G),它的最小函数依赖集为FD={A→B,C→D,B→E,E→F},则该关系的候选码为( )。
①  (A,C,G)
②  (A,C)
③  (A,E,G)
④  (A,G)
随机题目
【单选题】 中成药处方书写要求规定,每张处方药品种类不得超过
①  4种
②  3种
③  5种
④  7种
⑤  6种
【单选题】 “四查十对”中四查不包括
①  查处方
②  查配伍禁忌
③  查用药合理性
④  查临床诊断
⑤  查药品
【单选题】 医生对新陈提出要求药名是
①  九孔石决明
②  香白芷
③  生地黄
④  姜枳壳
⑤  绵茵陈
【单选题】 处方直接写药名,需调配清炒品的是
①  花蕊石
②  僵蚕
③  王不留行
④  草乌
⑤  厚朴
【单选题】 服用六味地黄丸,宜用的药引是
①  清茶
②  芦根汤
③  姜片汤
④  淡盐水
⑤  黄酒
【单选题】 服用七厘散的药引应选
①  米汤
②  黄酒
③  姜汤
④  芦根汤
⑤  清茶
【单选题】 处方直接写药名,需调配麸炒品的是
①  钟乳石
②  枳壳
③  川乌
④  厚朴
⑤  何首乌
【单选题】 七叶一枝花的正名是
①  三七花
②  草河车
③  紫河车
④  重楼
⑤  蚤休
【单选题】 根据中药“十九畏”理论,丁香畏
①  硫黄
②  朴硝
③  人参
④  川乌
⑤  郁金
【单选题】 处方调剂复核时,应予以纠正的错付是
①  大腹子付牛蒡子
②  双花付金银花
③  益母草付茺蔚子
④  二术付苍术、白术
⑤  草决明付决明子