【单选题】【消耗次数:1】
谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是(   )
自由变元
约束变元
既不是自由变元也不是约束变元
既是自由变元也是约束变元
参考答案:
复制
纠错
相关题目
【单选题】 在公式()F(x,y)→(y)G(x,y)中变元x是(   )
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
【单选题】 在公式中变元y是()
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
【判断题】 谓词公式中的改名规则只针对自由变元。
①  正确
②  错误
【判断题】 若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
①  正确
②  错误
【判断题】 若谓词公式中有变元,则一定不是命题。
①  正确
②  错误
【判断题】 命题公式中只要没有变元就是命题。
①  正确
②  错误
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【单选题】 下列为两个命题变元P,Q的小项是(   )
①  P∧Q∧┐P
②  ┐P∨Q
③  ┐P∧Q
④  ┐P∨P∨Q
【单选题】 2个命题变元可组成 ( ).
①  4种不同的解释
②  16个不同的命题公式
③  14个可满足公式
④  15个非永假的主合取范式
随机题目
【单选题】 视频学习时,正确的退出方式
①  关闭网页
②  关闭电脑
③  点击“退出登录”
④  点击“退出观看”
【单选题】 学生在校期间留级不得超过()次,否则予以退学处理
①  1
②  2
③  3
④  4
【单选题】 在教学管理平台上()模块查询上学期的考试成绩
①  通知公告
②  教学计划
③  考试信息
④  我的成绩
【单选题】 网络课程学习时视频已学完,但学习进度条为“0”的原因
①  浏览器的不兼容
②  电脑配置低
③  退出方式不对
④  教学管理平台有问题
【单选题】 学籍状态以()上的注册结果为准
①  教学管理系统
②  教育部中国高等教育学生信息网
③  录取通知书
④  交费名单
【单选题】 新生保留入学资格逾期不办理入学手续的,视为
①  放弃入学资格
②  休学
③  退学
④  复学
【单选题】 学生达到规定的最长学习年限,学完教学计划所有课程,仍有一门至三门课程不合格者,作()处理
①  结业
②  毕业
③  退学
④  留级
【单选题】 平时成绩占总成绩
①  30%
②  40%
③  50%
④  20%
【单选题】 保留入学资格期限最长为
①  1
②  2
③  3
④  4
【单选题】 学历证明书与原证书具有同等效力且能补办()次
① 
② 
③ 
④  任意