设A(x)：x是金子，B(x)：x是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为(56)。A．(x)(A(x)一B(x))∧(y)(A(y)一下B(y))B．(x)(B(x)→A(x))∧(y)(┓A(y)∧B(y))C．(x)(A(x)→B(x))∧(y)(A(y)∧B(y))D．(x)(┓A(x)VB(x))∧(y)(┓A(y)∧B(y))

题目

设A(x)：x是金子，B(x)：x是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为(56)。

A．(x)(A(x)一B(x))∧(y)(A(y)一下B(y))

B．(x)(B(x)→A(x))∧(y)(┓A(y)∧B(y))

C．(x)(A(x)→B(x))∧(y)(A(y)∧B(y))

D．(x)(┓A(x)VB(x))∧(y)(┓A(y)∧B(y))

相似考题

1.设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U－X－Y。下列关于多值依赖的叙述中，哪个（些）是正确的？ Ⅰ. 若X Y，则X→Y Ⅱ. 若X→Y，则X→→Y Ⅲ. 若X→→Y，且Y¢ Ì Y，则X→→Y¢ Ⅳ. 若X Y，则X ZA．只有ⅡB．只有ⅢC．Ⅰ和ⅢD．Ⅱ和Ⅳ

2.（ 52 ）下列关于函数依赖和多值依赖的叙述中，哪些是不正确的？I ． 若 X → Y, 则 X →→ Y Ⅱ ．若 X →→ Y, 则 X → YⅢ ．若 Y ? X, 则 X → Y Ⅳ ．若 Y ? X, 则 X →→ YⅤ ．若 X → Y, Y ’ ? X, 则 X → Y ’ Ⅵ ．若 X →→ Y, Y ’ ? Y, 则 X →→ Y ’A ） Ⅱ 和 ⅣB ） Ⅰ 、 Ⅲ 和 ⅣC ） Ⅱ 和 ⅥD ） Ⅳ 和 Ⅵ

3.设以下变量均为int类型，则值不等于7的表达式是（ ）。A．（x=y=6，x+y，x+1）B．（x=y=6，x+y，y+1）C．（x=6，x+1。y=6，x+y）D．（y=6，y+1，x=y，x+1）

4.设U为所有属性,X、Y、Z为属性集，Z=U-X-Y，下列关于平凡的多值依赖的叙述中，哪一条是正确的？A．若X→→Y，Z=?，则称X→→Y为平凡的多值依赖B．若X→→Y，Z≠?，则称X→→Y为平凡的多值依赖C．若X→Y，X→→Y，则称X→→Y为平凡的多值依赖D．若X→→Y，X→→Z，则称X→→Y为平凡的多值依赖

更多“ 设A(x)：x是金子，B(x)：x是闪光的，则命题“没有不闪光的金子，但闪光的不一定是金子”形式化为(56)。A．(x)(A(x)一B(x))∧(y)(A(y)一下B(y))B．(x)(B(x)→A(x))∧(y”相关问题

  • 第1题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U—X—Y。下面关于多值依赖的叙述中，_______是不正确的。

    A．若X→→Y，则X→→Z

    B．若X→Y，则X→→Y

    C．若X→→Y，且Y’∈Y，则X→→Y’

    D．若Z=Ф， 则X→→Y


    正确答案：C
    解析：若X→→Y在R(U)上成立，且Y’∈Y，不能断言X→→Y’在R(U)上成立。这是因为多值依赖的定义中涉及了U中除X，Y之外的其余属性Z，考虑X→→Y’是否成立时涉及的其余属性Z'=U—X—Y’比确定X→→Y成立时涉及的其余属性Z=U—X—y包含的属性列多，因此X→→Y’不一定成立。

  • 第2题：

    A={x|x＜100且为质数}，在A上定义*和.如下：x*y=max(x，y)，x.y=LCM(x,y)，x，y∈A，这里LCM(x,y)表示x与y的最小公倍数，则下面命题正确的是

    Ⅰ．＜A，*＞构成代数系统：

    Ⅱ．＜A，.＞构成代数系统；

    A．只有Ⅰ

    B．只有Ⅱ

    C．Ⅰ和Ⅱ

    D．没有


    正确答案：A

  • 第3题：

    设U是所有属性的集合，X、Y、z都是U的子集，且=U-X-Y。下列关于多值依赖的叙述中，哪一条是不正确的?

    A．若X→→Y则X→→Z

    B．若X→Y，则X→→Y

    C．若X→→Y，且Y' Y，则X→→Y'

    D．若Z=Ф，则X→→Y


    正确答案：C
    解析：利用范式定义即可得出结论。

  • 第4题：

    设x=“11”，Y=”1122”，下列表达式结果为假的是（ ）。

    A. NOT(X：：Y)AND(X$Y)

    B. NOT(X$Y)OR(<>Y)

    C. NOT(X>=Y)

    D. NOT(x$Y)


    正确答案：D
    ==、$、<>、>=是关系运算符，==是字符串精确比较，$是子串包含测试，<>表示不等于，>=表示大于等于，X$Y的值为．T．，NOT(X$Y)的值为．F．。

  • 第5题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y，下列关于多值依赖的叙述中，哪个(些)是正确的? Ⅰ．若X→→Y，则X→Y Ⅱ．X→Y，则X→→Y Ⅲ．若X→→Y，且,则X→→Y Ⅳ．若X→→Y，则X→→Z

    A．只有Ⅱ

    B．只有Ⅲ

    C．Ⅰ和Ⅲ

    D．Ⅱ和Ⅳ


    正确答案：D
    解析：若X→→Y，则X→→Z，其中Z=U -X-Y，即多值依赖具有对称性；若X→Y，则X→→Y，即函数依赖可以看做多值依赖的特殊情况。若X→→Y在R(U)上成立，且[*]，我们不能断定X→→Y在R(U)上成立。

  • 第6题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，哪个是正确的

    A．若X→→Y，则X→Y

    B．若X→Y，则X→→Y

    C．若X→→Y，且Y'Y，则X→→Y'

    D．若X一一Y，则X—Z


    正确答案：B
    解析：多值依赖的性质包括：①若X→→Y，则X→→2，其中Z=U-X-y，即多值依赖具有对称性；②若X→Y，则X→→y，函数依赖可以看作多值依赖的特殊情况；③设属性集之间的关系是，那么当X→→Y在R(U)上成立的时，X→→Y在R(W)上也成立；反过来当X→→Y在R(W)上成立时，X→→Y在R(U)上不一定成立；④若X→→Y，且'Y'y，但不能断言X→→Y'也成立。因为多值依赖的定义中涉及了U中除X、Y之外的其余属性z，考虑X→→Y'是否成立时涉及的其余的属性Z'=U-X-Y'比确定X→→Y成立时的其余属性Z=U-X-y包含的属性列多，因此X→→Y'不一定成立。由上面的叙述可知本题正确答案为选项B。

  • 第7题：

    设U是所有属性的集合，X、Y、‘Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，_______是下确的。

    Ⅰ．若X→→Y，则X→Y

    Ⅱ．若X→Z，则X→→Y

    Ⅲ．若X→→Y，且Y'包含于Y'则X→→Y'

    Ⅳ．若X→→Y，则X→→Z

    A．只有Ⅱ

    B．只有Ⅲ

    C．Ⅰ和Ⅲ

    D．Ⅱ和Ⅳ


    正确答案：D
    解析：多值依赖具有以下性质：1、若X→→Y，则X→→Z，所以IV是正确的。2、若X→Y，则X→→Y，所以Ⅱ是正确的，Ⅰ是错误的。3、设属性集之间的包含关系为：XY包含于W，W包含于U，那么X→→Y在R(U)上成立时，X→→Y也在R(W)上成立；反过来当X→→Y在R(W)上成立时，X→→Y在R(U)上不一定成立，即多值依赖的有效性与属性集的范围有关。4、若X→→Y，且Y，包含于Y，我们不能断言X→→Y，所以Ⅲ是错误的。

  • 第8题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，哪个(些)是正确的? ( )

    ①若X→→Y，则X→Y

    ②若X→Y，则X→→Y

    ③若K→→Y，且Y'→Y，则X→→Y'

    ④若X→→Y，则X→→Z

    A．只有②

    B．只有③

    C．①和③

    D．②和④


    正确答案：D

  • 第9题：

    设P(x)：x是金子，Q(x)：x闪光，则命题“没有不闪光的金子”形式化为(53)。

    A．

    B．

    C．

    D．


    正确答案：C
    解析：在命题形式化时，如果用全总个体域，则对每一个个体变元的变化范围用特性谓词加以限制。一般地，对于全称量词，特性谓词应以条件式的前件加入：对于存在量词，特性谓词应以合取式的合取项加入。对于复杂的命题，在翻译时尽量按命题的语序进行翻译，然后可以利用逻辑等价变换进行化简。本题既测验翻译又测验等价变换。试题求解过程如下：［*］“没有不闪光的金子”按语序可形式化：［*］因此，“没有不闪光的金子”也可翻译为：

  • 第10题：

    A={x，x＜100且为质数}，在A上定义*和.如下： x*y=max(x，y)，x.y=LCM(x，y)， 这里LCM(x，y)表示x与y的最小公倍数，则下面命题正确的是( )。

    Ⅰ．＜A，*＞构成代数系统

    Ⅱ．＜A，.＞构成代数系统

    A．只有Ⅰ

    B．只有Ⅱ

    C．Ⅰ和Ⅱ

    D．没有


    正确答案：A

  • 第11题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，不正确的是（ ）。

    A.若X→→Y，则X→→Z
    B.若X→Y，则X→→Y
    C.若X→→Y，且X包含Y，则X→Y
    D.若Z=φ，则X→→Y

    答案：D
    解析：
    多值依赖的定义如下：设U是关系模式R的属性集，X和Y是U的子集，Z=R-X-Y，小写的x、y、z表示属性集X、Y、Z的值。对于R的关系r，在r中存在元组(x,y1,z1)和(,xy2,z2)时，也就存在元组(x,y2,x1)和(x,y1,z2)，那么称多值依赖x→→Y在模式R上成立。若X→→Y，则X→→Z，这是多值依赖的补规则；若X→Y，则X→→Y，这是多值依赖的复制性；若X→→Y，且X包含Y，则显然有X→Y成立。

  • 第12题：

    设X，y是两个随机变量，则下列不正确的是（）。

    • A、cov（X，Y）=cov（Y，X）
    • B、cov（X，X）=D（X）
    • C、cov（X，Y）=E[（X-E（X））（Y-E（Y））]
    • D、cov（X，Y）=E（XY）-E（X）E（Y）

    正确答案:D

  • 第13题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U－X－Y。下面关于多值依赖的叙述中，哪个（些）是正确的？Ⅰ．若X Y，则X Y

    Ⅱ．若X Y，则X Y

    Ⅲ．若X Y，且 ，则X

    Ⅳ．若X Y，则X Z

    A．只有Ⅱ

    B．只有Ⅲ

    C．Ⅰ和Ⅲ

    D．Ⅱ和Ⅳ


    正确答案：D
    解析：设R(U)是属性集U上的关系模式，X，Y 和Z是U的子集，并且Z=U-X-Y，多值依赖X→Y成立，当且仅当对R(U)的任意一个关系r，给定一对(X，Z)值，对应一组Y值，这组值仅仅决定于X值，与Z值无关。

  • 第14题：

    如果D(X),D(Y)都存在,则下面命题中不一定成立的是()。

    A.D(X-Y)=D(X)+D(Y)-2Cov(X,Y)

    B.D(X+Y)=D(X)+D(Y)+2Cov(X,Y)

    C.X与Y相互独立时，D(XY)=D(X)D(Y)

    D.D(-5X)=25D(X)


    正确答案:C

  • 第15题：

    下面关于函数依赖的叙述中，错误的是( )。

    A．若X→Y，Y→Z，则X→Z

    B．若X→Y，Y'→Y，则X→Y'

    C．若X→Y，X'→X，则X'→Y

    D．若X'→X，则X→X'


    正确答案：C

  • 第16题：

    设U为所有属性，X、Y、Z为属性集，Z=U-X—Y，下列关于平凡的多值依赖的叙述中，哪一条是正确的?

    A．若X→→Y，Z=，则称X→→Y为平凡的多值依赖

    B．若X→→Y，Z，则称X一一为平凡的多值依赖

    C．若X→Y，X→→Y，则称X→→Y为平凡的多值依赖

    D．若X→→Y，X→→Z，则称X→→Y为平凡的多值依赖


    正确答案：A
    解析：本题是对函数多值依赖中的平凡的多值依赖定义的考查。如果x→Y，Z=，则称X→→Y称为平凡的多值依赖。对照题目中的4个选项可知，正确答案为选项A。

  • 第17题：

    下列关于函数依赖和多值依赖的叙述中，不正确的是( )。

    Ⅰ．若X→Y， 则X→→Y

    Ⅱ．若X→Y， 则X→Y

    Ⅲ． 若YX，则X→Y

    Ⅳ、若YX，则X→→Y

    Ⅴ． 若X→Y，Y*Y， 则X→Y*

    Ⅵ．若X→→Y，Y*y， 则X→→Y，

    A．Ⅱ和Ⅳ

    B．Ⅰ、Ⅲ和Ⅳ

    C．Ⅱ和Ⅵ

    D．Ⅳ和Ⅵ


    正确答案：C
    解析：若X→→Y，且Y'∈Y，但不能断言X→→Y'也成立。因为多值依赖的定义中涉及了U中除X、Y之外的其余属性Z，考虑X→→Y'是否成立时涉及的其余的属性Z'=U-X-Y确定X→→Y成立时的其余属性Z=U-X-Y包含的属性列多，因此X→→Y'不一定成立。若X→Y，则X→→Y，即函数依赖可以看作多值依赖的特殊情况，但反之则不成立。

  • 第18题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y，下列关于多值依赖的叙述中，( )是正确的。

    Ⅰ、若X→→Y，则X→Y

    Ⅱ、X→Y，则X→→Y

    Ⅲ、若X→→Y， 且Y′→Y， 则X→→Y

    Ⅳ、若X→→Y，则X→→Z

    A．只有Ⅱ

    B．只有Ⅲ

    C．Ⅰ和Ⅲ

    D．Ⅱ和Ⅳ


    正确答案：D
    解析：多值依赖的定义是：设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y，若在R的任一关系r中，只要存在元组t，s，使得t[X]=s[X]，就必然存在元组w,v(w、v可以与s、t相同)，使得w[X]=v[X]=s[X]=t[X]，而w[Y]=t[Y]，w[Z]=s[Z]，v[Y]=s[Y]，v[Z]=t[Z]，则称Y多值依赖于X，记作X→→Y。函数依赖是多值依赖的特殊情况。多值依赖具有以下性质：①若X→→Y则X→→Z即具有对称性。②若X→Y则X→→Y。③多值依赖的有效性与属性值的范围有关。④若X→→Y在R(U)上成立，不一定有X→→Y'在R(U)上成立。由以上的性质①和性质②可以知道，Ⅱ和Ⅳ是正确的。由性质④知道，Ⅲ错误。函数依赖是多值依赖的特殊情况，反过来说就不一定对，因此Ⅰ也是错误的。

  • 第19题：

    下列关于函数依赖和多值依赖的叙述中，不正确的是( )。

    Ⅰ、若X→Y， 则X→→Y

    Ⅱ、若X→→Y， 则X→Y

    Ⅲ、若YX，则X→Y

    Ⅳ、若YX，则X→→Y

    Ⅴ、若X→Y，Y*Y， 则X→Y*

    Ⅵ、若X→→Y，Y*Y， 则X→→Y*

    A．仅Ⅱ和Ⅳ

    B．仅Ⅰ、 Ⅱ和Ⅳ

    C．仅Ⅱ和Ⅵ

    D．仅Ⅳ、Ⅴ和Ⅵ


    正确答案：B
    解析：Armstrong公理系统包括以下3条推理规则。设F是属性组U上的一组函数依赖，于是有以下推理规则：①自反律。若Y∈X∈U，则X→Y为F所逻辑蕴含。②增广律．若X→Y为P所逻辑蕴含，且Z∈U，则XZ→YZ为F所逻辑蕴含。③传递律。若X→Y即Y→Z为F所逻辑蕴含，则X→Z为F所逻辑蕴含。若X→→Y，而Z=Φ，则称X→→Y为平凡的多值依赖。若X→→Y在R(U)上成立，用Y'∈Y，我们不可以断言X→→y'成立。设R是属性集U上的一个关系模式，X、Y是U的子集，Z=U-X-Y，多值依赖的性质如下：①若X→→Y，则X→→Z，其中Z=U-X-Y，即多值依赖具有对称性。②若X→Y，则X→→Y，即函数依赖可以看作多值依赖的特殊情况。③设属性集之间的关系是XY∈W∈U，那么当X→→Y在R(U)上成立的时候，X→→Y在R(W)上也成立；反过来当X→→Y在R(W)上成立时，X→→Y在R(U)上不一定成立。④若X→→Y，且Y'∈Y，但不能断言X→→Y'也成立。因为多值依赖的定义中涉及了U中除X、Y之外的其余属性Z，考虑X→→Y'是否成立时涉及的其余的属性Z'=U-X-Y'比确定X→→Y成立时的其余属性Z=U-X-Y包含的属性列多，因此X→→Y'不一定成立。

  • 第20题：

    设L(x): x是演员，J(x): x是老师，A(x，y): x佩服y，那么命题“所有演员都佩服某些老师”符号化为(61)。

    A．

    B．

    C．

    D．


    正确答案：D
    解析：将命题符号化为“”。故应选择(D)。注意：符号化为“”是不对的，它的意义是所有演员和某些老师，x佩服y。

  • 第21题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U-X-Y。下面关于多值依赖的叙述中，不正确的是（ ）。

    A）若X→→Y，且Y'∈Y，则X→→Y'

    B）若X→Y，则X→→Y

    C）若X→→Y，则X→→Z

    D）若X→→Y且Z=φ，则X→→Y称为平凡的函数依赖


    正确答案：A

  • 第22题：

    设f(x),f'(x)为已知的连续函数，则微分方程y'十f'(x)y=f(x)f'(x)的通解是：
    A. y=f(x)+ce-f(x) B. y= f(x)ef(x) -ef(x) +c
    C. y=f(x)-1+ce-f(x) D. y=f(x)-1+cef(x)


    答案：C
    解析：
    提示:对关于y、y'的一阶线性方程求通解。其中p(x)=f'(x)、Q(x) =f(x)*f'(x) 利

  • 第23题：

    设U是所有属性的集合，X、Y、Z都是U的子集，且Z=U−X−Y。下列关于多值依赖的叙述中，不正确的是（）。

    • A、若X→→Y，则X→→Z
    • B、若X→Y，则X→→Y
    • C、若X→→Y，且Y’ÌY，则X→→Y’
    • D、若Z=F，则X→→Y

    正确答案:C

相关内容