【简答题】【消耗次数:1】
判断公式“xy(F(x) ùG(y) ?H(x,y))”的类型:[填空1]
参考答案:
复制
纠错
相关题目
【简答题】 判断公式“xy(F(x, y) ? F(y, x))”的类型:[填空1]
【简答题】 实数集合里,F(x,y): x=y, G(x,y): xy。公式“xy(G(x,y) ??F(x,y))”的真值:[填空1]
【简答题】 实数集合里,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]
【简答题】 自然数里,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 =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=2,f (x,y)=x+y,g (x,y)=x·y,F (x,y): x=y。公式“$xF(f(x,x),g(x,x))”的真值:[填空1]
【简答题】 判断公式“x$yF(x, y) ? $xyF(x, y)”的类型:[填空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。公式“xF(g(x,a),x)”的真值为真。
①  正确
②  错误
【单选题】 在公式()F(x,y)→(y)G(x,y)中变元x是(   )
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
随机题目
【单选题】 DFD描述系统的( )。
①  数据结构
②  控制流程
③  基本加工
④  软件功能
【单选题】 模块的内聚性最高的是如下哪种内聚?( )
①  逻辑内聚
②  时间内聚
③  偶然内聚
④  功能内聚
【单选题】 对于分层的DFD,父图与子图的平衡指( )。
①  父图与子图的输入输出数据流必须相同
②  子图必须继承父图的输入输出流
③  父图与子图相应的输入输出数据流名字保持一致
④  子图可以自己输入输出数据流
【判断题】 如果通过软件测试没有发现错误,则说明软件是正确的。
①  正确
②  错误
【判断题】 划分模块可以降低软件的复杂度和工作量,所以应该将模块分得越小越好。
①  正确
②  错误
【判断题】 判定覆盖不一定包含条件覆盖,条件覆盖也不一定包含判定覆盖。
①  正确
②  错误
【简答题】 [填空]是对软件结构中模块间关联程度的一种度量。
【简答题】 需求分析阶段产生的最重要的文档之一是[填空]。
【简答题】 代码中为了易于理解而添加的非执行字符被称为[填空]。
【简答题】 什么是需求分析?需求分析阶段的基本任务是什么?