在公式<imgwidth="228"height="20"src="http://wljy.whut.edu.cn//uploadfiles/word/lsss001.files/image005.png">中变元y是（）

答案查看网，轻松搜题/搜资源

【单选题】【消耗次数：1】

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

参考答案：

复制

纠错

相关题目

【单选题】在公式（<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是（　　　）

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

查看完整题目与答案

【单选题】在公式中变元y是（）

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

查看完整题目与答案

【单选题】在公式（）F（x，y）→（y）G（x，y）中变元x是（　　　）

① 自由变元

② 约束变元

③ 既是自由变元，又是约束变元

④ 既不是自由变元，又不是约束变元

查看完整题目与答案

【单选题】谓词公式x(P(x)∨(yR(y))→Q(x))中变元x是（　　　）

① 自由变元

② 约束变元

③ 既不是自由变元也不是约束变元

④ 既是自由变元也是约束变元

查看完整题目与答案

【判断题】谓词公式中的改名规则只针对自由变元。

① 正确

② 错误

查看完整题目与答案

【判断题】命题公式中只要没有变元就是命题。

① 正确

② 错误

查看完整题目与答案

【判断题】若谓词公式中有变元，则一定不是命题。

① 正确

② 错误

查看完整题目与答案

【简答题】命题公式中的一些命题变元和一些命题变元的否定之和，称为[填空1]

查看完整题目与答案

【判断题】若谓词公式中没有自由变元，且谓词也均是常项，则成命题。

① 正确

② 错误

查看完整题目与答案

【简答题】命题公式中的一些命题变元和一些命题变元的否定之积，称为[填空1]

查看完整题目与答案

随机题目

【判断题】素数的个数一定是无限的.

① 正确

② 错误

查看完整题目与答案

【判断题】任何大于1的合数a必有一个不超过a的算术平方根的素约数.

① 正确

② 错误

查看完整题目与答案

【简答题】 [a, b][b, c][c, a]=[ab, bc, ca]x[填空].

查看完整题目与答案

【简答题】 1，-1，a,-a称为非零整数a的[填空]约数.

查看完整题目与答案

【简答题】 (a, b)[a, b] = [填空].

查看完整题目与答案

【简答题】 [填空] .

查看完整题目与答案

【简答题】 [a, b, c](ab, bc, ca) = [填空].

查看完整题目与答案

【单选题】若a=bq+r，则一定成立的是[填空].

① (a,b)=(b,r)

② (a,b)=(a,r)

③ (b,r)=(a,r)

查看完整题目与答案

【判断题】任意两个数的辗转相除法只需有限次.

① 正确

② 错误

查看完整题目与答案

【判断题】对于任意的整数a,b,c，若b|ac,则b|a.

① 正确

② 错误

查看完整题目与答案