【单选题】【消耗次数: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个非永假的主合取范式
随机题目
【判断题】 格斗是武术的其中一种形式。
①  正确
②  错误
【单选题】 “咕噜肉”所属的菜系是( )
①  川菜系
②  苏菜系
③  粤菜系
④  鲁菜系
【单选题】 广东人饮茶常说的“一盅两件”中的“一盅”指的是什么?
①  开水
②  包子
③  点心
④ 
【单选题】 我国从清代末期开始,便形成了( )大菜系。
① 
② 
③ 
④ 
【单选题】 从历史发展看,中国人衡量食品质量的第一标准是( )
①  食量
②  食形
③  食境
④  食味
【单选题】 闽菜历经中原汉族文化和闽越族文化的混合形成,发源于哪个省份?
①  江西
②  福建
③  广东
④  浙江
【单选题】 茶的故乡在哪里?
①  日本
②  巴西
③  中国
④  印度
【单选题】 以下哪个食物属于我国传统节日中秋节食物?
①  大饼
②  煎饼
③  月饼
④  灌饼
【单选题】 狗不理包子是哪个地方的风味小吃?
①  天津
②  北京
③  南京
④  江苏
【单选题】 元宵又称( )
①  糖包
②  汤圆
③  馅包
④  汤包