【判断题】【消耗次数:1】
令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车,令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x),则 xG(x) 是其有效结论。
正确
错误
参考答案:
复制
纠错
相关题目
【多选题】 令 F(x): x 喜欢步行, G( x): x 喜欢骑自行车, H(x): x 喜欢乘汽车,令前提: x(F(x) ? ?G(x)), x(G(x) ú H(y)), $x?H(x),则下面是其有效结论的有:
①  $x?F(x)
②  xG(x)
③  ?xF(x)
④  $xG(x)
【多选题】 设: F(x):x 能表示成分数, G(x):x 为无理数, H(x)为有理数,令前提: x(G(x) ??F(x)), x(H(x) ?F(x)),则下面是其有效结论的有:
①  x(H(x) ??G(x))
②  ?$x(H(x) ùG(x))
③  $x(H(x) ??G(x))
④  ?x(H(x) ?G(x))
【多选题】 设: F(x):x 为有理数, G(x):x 为无理数, R(x)为实数, H(x)为虚数,令前提: x((F(x) úG(x)) ?R(x)), x(H(x) ??R(x)),则下面是其有效结论的有:
①  x(?(F(x) ú G(x)))
②  x(H(x) ? (?F(x) ù?G(x)))
③  $x(H(x) ? (?F(x) ù?G(x)))
④  x(H(x) ? ?(F(x) ú G(x)))
【多选题】 令前提: x(F(x) úG(x)), ?$xG(x),则下面是其有效结论的有:
①  $xF(x)
②  $x ? G(x)
③  xF(x)
④  $x(F(x) ú G(x))
【多选题】 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快,则命题“有的火车比所有的汽车跑得快”符号化不正确的有:
①  $x$y(F(x) ù G( y) ù H(x, y))
②  x$y(F(x) ù G( y) ? H(x, y))
③  $xy(F(x) ù (G( y) ? H(x, y)))
④  $xy(F(x) ù G( y) ù H(x, y)).
【判断题】 f(x)=1,g(x)=|x|/x;f(x)=g(x)
①  正确
②  错误
【判断题】 f(x)=x,g(x)=(√x)^2;f(x)=g(x)
①  正确
②  错误
【判断题】 f(x)=|x|,g(x)=√x^2;f(x)=g(x)
①  正确
②  错误
【多选题】 令 F(x): x 是汽车, G( y): y 是火车, H(x, y): x 比 y 跑得快,则命题“说所有的火车比所有的汽车跑得快是不对的”符号化不正确的有:
①  x$y(F(x) ù G( y) ? H(x, y))
②  $x$y(F(x) ù G( y) ù H(x, y))
③  xy(F(x) ù (G( y) ? H(x, y)))
④  $xy(F(x) ù G( y) ù H(x, y)).
【判断题】 f(x)=x^2,g(x)=√(x^4 );f(x)=g(x)
①  正确
②  错误
随机题目
【单选题】 系统设计的目的是()。
①  设计系统的逻辑模型
②  将系统的逻辑模型转换为物理模型
③  系统中的程序设计
④  程序流程图设计
【单选题】 ()用于将高层数据流图转换成结构图,变换分析通常用于将低层数据流图转换成模块结构图。
①  事务分析
②  耦合分析
③  内聚控制
④  数据转换
【单选题】 程序员进行程序设计的直接文档和依据是()。
①  业务流程图
②  模块说明书
③  可行性报告
④  A和C
【单选题】 ()是为了改进系统的可靠性和可维护性,为了适应未来的软硬件环境的变化,主动增加预防性的新功能,以使管理信息系统适应各类变化而不被淘汰。
①  改正性维护
②  预防性维护
③  适用性维护
④  完善性维护
【单选题】 下面哪项是最糟糕的耦合关系()。
①  数据耦合
②  控制耦合
③  内容耦合
④  关系耦合
【单选题】 耦合表示模块之间联系的程度,如果两个模块之间传输的信息是控制信息,则这种耦合方式称为()。
①  数据耦合
②  控制耦合
③  非法耦合
④  内容耦合
【单选题】 不经调用关系,两个模块之间彼此直接使用或修改对方的数据,则这种耦合方式称为()。
①  数据耦合
②  控制耦合
③  内容耦合
④  关系耦合
【单选题】 下面哪项内聚的聚合度最高,性能最好()。
①  巧合内聚
②  逻辑内聚
③  功能内聚
④  过程内聚
【单选题】 以下哪项不是系统切换的主要方法()。
①  直接切换
②  反向切换
③  平行切换
④  分段切换
【单选题】 ()也称单元测试,其目的是保证每个模块本身能正常运行。
①  模块测试
②  子系统测试
③  系统整体测试
④  用户测试