【单选题】【消耗次数：1】
在公式（）F（x，y）→（y）G（x，y）中变元x是（ ）
①
自由变元
②
约束变元
③
既是自由变元，又是约束变元
④
既不是自由变元，又不是约束变元
参考答案：
复制
纠错
相关题目
【单选题】
在公式（<imgwidth="26"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss002.files/image034.png">）F（x，y）→（<imgwidth="12"height="15"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss002.files/image035.png">y）G（x，y）中变元x是（ ）
①
自由变元
②
约束变元
③
既是自由变元，又是约束变元
④
既不是自由变元，又不是约束变元
【单选题】
在公式<imgwidth="228"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss001.files/image005.png">中变元y是（）
①
自由变元
②
约束变元
③
既是自由变元，又是约束变元
④
既不是自由变元，又不是约束变元
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之和，称为[填空1]
【简答题】
命题公式中的一些命题变元和一些命题变元的否定之积，称为[填空1]
随机题目