【单选题】
在公式()F(x,y)→(y)G(x,y)中变元x是( )
【单选题】
谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是( )
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之和,称为[填空1]
【判断题】
若谓词公式中没有自由变元,且谓词也均是常项,则成命题。
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之积,称为[填空1]
【单选题】
在公式<imgwidth="228"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss001.files/image005.png">中变元y是()