设F(x):x是火车,G(y):y是轮船,H(x,y):x比y快。“火车都比轮船快。”符号化为前束范式 。
设F(x):x是火车,G(y):y是轮船,H(x,y):x比y快。“火车都比轮船快。”符号化为前束范式 。
参考答案和解析
C
相关考题:
(53)设 U 是所有属性的集合,X、Y、Z 都是 U 的子集,且 Z=U?X?Y。下列关于多值依赖的叙述中,不正确的是( )。A)若 X→→Y,则 X→→ZB)若 X→Y,则 X→→YC)若 X→→Y,且 Y'ìY,则 X→→Y'D)若 Z=F,则 X→→Y
设 X="11" , Y="1122" ,下列表达式结果为假的是A)NOT(X==y)AND(X$ Y )B)NOT(X$Y)OR(X ◇ Y)C)NOT( X =Y)D)NOT(X $ Y)
设x和y均为int型变量,则执行下面的循环后,y值为()。include void main(){int x, y;f 设x和y均为int型变量,则执行下面的循环后,y值为( )。#include <iostream.h>void main(){int x, y;for(y= 1,x= 1 ;y<=50;y++){ if(x>=10) }break;if (x%2==1){ x+=5; continue;} x-=3;} cout<<y;A.2B.4C.6D.8
设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))
下列( )项是在D={(x,y)|x2+y2≤1,x≥0,y≥0)上的连续函数f(x,y),且f(x,y)=3(x+y)+16xy。A.f(x,y)=3(x+y)+32xyB.f(x,y)=3(x+y)-32xyC.f(x,y)=3(x+y)-16xyD.f(x,y)=3(x+y)+16xy
A.f(-x,y)=f(x,y),f(x,-y)=-f(x,y)B.f(-x,y)=f(x,y),f(x,-y)=f(x,y)C.f(-x,y)=-f(x,y),f(x,-y)=-f(x,y)D.f(-x,y)=-f(x,y),f(x,-y)=f(x,y)
设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) +cC. y=f(x)-1+ce-f(x) D. y=f(x)-1+cef(x)
设U是所有属性的集合,X、Y、Z都是U的子集,且Z=U−X−Y。下列关于多值依赖的叙述中,不正确的是()。A、若X→→Y,则X→→ZB、若X→Y,则X→→YC、若X→→Y,且Y’ÌY,则X→→Y’D、若Z=F,则X→→Y
指出下列关系模式是第几范式?并说明理由。 (1)R(X,Y,Z)F={XY→Z} (2)R(x,Y,z)F={Y→z,XZ→Y} (3)R(X,Y,Z)F={Y→Z,Y→X,X→YZ} (4)R(x,Y,z)F={X→Y,X→Z} (5)R(x,Y,Z)F={XY→Z} (6)R(W,X,Y,Z)F={X→Z,WX→Y}
判断下列关系模式可以达到的范式级别: 1)R(X,Y,Z)F={XY→Z} 2)R(X,Y,Z)F={Y→Z,XZ→Y} 3)R(X,Y,Z)F={Y→Z,Y→X,X→YZ} 4)R(X,Y,Z)F={X→Y,X→Z}
单选题设z=f(xy,x/y)+g(y/x),其中f、g均可微,则∂z/∂x=( )。Ayf1′+f2′/y-yg′/x2Byf1′-f2′/y-yg′/x2Cyf1′-f2′/y+yg′/x2Dyf1′+f2′/y+yg′/x2
单选题设y1(x)是方程y′+P(x)y=f1(x)的一个解,y2(x)是方程y′+P(x)y=f2(x)的一个解,则y=y1(x)+y2(x)是方程( )的解。Ay′+P(x)y=f1(x)+f2(x)By+P(x)y′=f1(x)-f2(x)Cy+P(x)y′=f1(x)+f2(x)Dy′+P(x)y=f1(x)-f2(x)
问答题有3位和2位十六进制数X和Y,X=34AH,Y=8CH。(1)若X,Y是纯数(无符号数),则X+Y=()H;X-Y=()H。