【判断题】【消耗次数:1】
自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值为假。
正确
错误
参考答案:
复制
纠错
相关题目
【简答题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xy(F(f(x,a),y) ?F(f(y,a),x))”的真值:[填空1]
【判断题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“xF(g(x,a),x)”的真值为真。
①  正确
②  错误
【简答题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值:[填空1]
【判断题】 实数集合里,a =0,f (x,y)=x-y,F(x,y): x=y, G(x,y): xy。公式“xy(F(f(x,y),a) ?G(x,y))”的真值为假。
①  正确
②  错误
【简答题】 实数集合里,a =0,f (x,y)=x-y,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(f(x,y),a))”的真值:[填空1]
【简答题】 实数集合里,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(x,y))”的真值:[填空1]
【判断题】 公式“x$y(F(x, y) ù G(y, z)) ú $xH(x, y, z)”中的全称量词x的辖域为:$y(F(x, y) ù G(y, z)) 。
①  正确
②  错误
【单选题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/117E6A630A0200497B87D15B90307923.png data-tex=\exists />xF(f(x,x),g(x,x))”的真值:
①  0
②  1
③  2
④  不确定
【单选题】 自然数里,a=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“<img class=jc-formula style=vertical-align: middle; src=https://huaweicloudobs.ahjxjy.cn/151E88A53D653382F547CC2EA5D9CEBC.png data-tex=\forall />xF(g(x,a),x)”的真值:
①  0
②  1
③  2
④  不确定
【简答题】 判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
随机题目
【单选题】 下述哪一个SQL语句用于实现数据存储的权限机制___。
①  COMMIT
②  ROLLBACK
③  GRANT
④  CREATETABLE
【单选题】 与WhereGBETWEEN60AND100语句等价于___。
①  WhereG60ANDG100
②  WhereG=60ANDG100
③  WhereG60ANDG=100
④  WhereG=60ANDG=100
【单选题】 如果两个实体之间的联系是M:N,则___引入第三个交叉关系。
①  不需要
②  需要
③  可有可无
④  合并为两个实体
【单选题】 在人工管理阶段,数据是___。
①  无结构的
②  有结构的
③  整体无结构,记录内有结构
④  整体结构化的
【单选题】 SQL语言具有___的功能。
①  关系规范化、数据操纵、数据控制
②  数据定义、数据操纵、数据控制
③  数据定义、关系规范化、数据控制
④  数据定义、关系规范化、数据操纵
【单选题】 数据库概念设计的E-R方法中,用属性描述实体的特征,在E-R图中用___表示属性。
①  .矩形
②  四边形
③  菱形
④  椭圆形
【单选题】 在SQLServer2000编程中,可使用___将多个语句捆绑。
①  ||
②  BEGIN-END
③  ()
④  []
【单选题】 SQL中,下列涉及空值的操作,不正确的是___。
①  age=NULL
②  ageISNULL
③  ageISNOTNULL
④  NOT(ageISNULL
【单选题】 在关系数据设计中,设计关系模式的___的任务。
①  逻辑设计阶段
②  概念设计阶段
③  .需求分析阶段
④  物理设计阶段
【单选题】 SQL语言中,插入数据表的语句是___。
①  Select
②  Insert
③  Update
④  Create