【单选题】【消耗次数:1】
在公式中变元y是()
自由变元
约束变元
既是自由变元,又是约束变元
既不是自由变元,又不是约束变元
参考答案:
复制
纠错
相关题目
【单选题】 在公式()F(x,y)→(y)G(x,y)中变元x是(   )
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
【单选题】 谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是(   )
①  自由变元
②  约束变元
③  既不是自由变元也不是约束变元
④  既是自由变元也是约束变元
【判断题】 谓词公式中的改名规则只针对自由变元。
①  正确
②  错误
【判断题】 命题公式中只要没有变元就是命题。
①  正确
②  错误
【判断题】 若谓词公式中有变元,则一定不是命题。
①  正确
②  错误
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【判断题】 若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
①  正确
②  错误
【简答题】 命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【单选题】 2个命题变元可组成 ( ).
①  4种不同的解释
②  16个不同的命题公式
③  14个可满足公式
④  15个非永假的主合取范式
【单选题】 在公式<imgwidth="228"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss001.files/image005.png">中变元y是()
①  自由变元
②  约束变元
③  既是自由变元,又是约束变元
④  既不是自由变元,又不是约束变元
随机题目
【判断题】 答题说明:句子没有语法错误请选择“正确”,有语法错误请选择“错误”Only in this way can we make good use of the suns energy.
①  正确
②  错误
【判断题】 答题说明:句子没有语法错误请选择“正确”,有语法错误请选择“错误”A few minutes later, Jim hear his name called.
①  正确
②  错误
【判断题】 答题说明:句子没有语法错误请选择“正确”,有语法错误请选择“错误”Only by working hard we can succeed in this difficult experiment.
①  正确
②  错误
【判断题】 答题说明:句子没有语法错误请选择“正确”,有语法错误请选择“错误”Hardly he had entered the room when he was asked to leave the room at once.
①  正确
②  错误
【多选题】 He_____________ to be reading when his mother came in.
①  drew a conclusion
②  nothing but
③  made himself seem
④  pretended
【多选题】 Computer can store_____________ amounts of information.
①  huge
②  vast
③  large
④  small
【多选题】 He arrived too late and_____________ the train.
①  failed to catch
②  fail to catch
③  missed
④  miss
【多选题】 I_____________ that she is over forty.
①  guess
②  think
③  imagine
④  suppose
【多选题】 _____________ , you are perfect in mind and body.
①  In time
②  In a word
③  In short
④  In sum
【多选题】 Ive learned_____________ from you.
①  several
②  much
③  a lot
④  a great deal