题目内容
（请给出正确答案）
[单选题]
谓词公式
谓词公式
，若对约束变元x换名，但下列换名错误的是（）。
A.
B. 
C. 
D. 
提问人：网友wzhz168
发布时间：2022-01-07
如搜索结果不匹配，请 
，若对约束变元x换名，但下列换名错误的是（）。
A.
B.
C.
D.
题目内容
（请给出正确答案）
您可能会需要：
安装简答题APP，拍照搜题省时又省心！
更多“谓词公式 [图]...”相关的问题
第2题
利用谓词的约束变元的换名规则和自由变元的代入规则，可将公式
改写成______．
改写成______．
A.(
x)(P(y)→Q(x，y))∧R(z，s)
B.(
z)(P(z)→Q(z，s))∧R(x，s)
C.(
x)(P(s)→Q(x，s))∧R(x，s)
D.(
z)(P(s)→Q(z，s))∧R(z，s)
第3题
谓词公式
x P(x,y)
(
zQ(x,z)
yR（x，y）)中变元x（）
x P(x,y)(zQ(x,z)yR（x，y）)中变元x（）
A.是自由变元但不是约束变元
B.是约束变元但不是自由变元
C.既不是自由变元也不是约束变元
D.即是自由变元又是约束变元
第4题
对于谓词公式
，以下说法错误的是（）。
，以下说法错误的是（）。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
第5题
对于谓词公式
，以下说法错误的是（）。
，以下说法错误的是（）。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
中的x是（）。
中的x
第8题
对于谓词公式
，以下说法正确的是（）。
，以下说法正确的是（）。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
中，变元y既是自由变元，又是约束变元。第10题
对于谓词公式
，以下说法正确的是（）。
，以下说法正确的是（）。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
