谓词公式,若对约束变元x换名,但下列换名错误的是()。
A.
B.
C.
D.
- · 有4位网友选择 A,占比44.44%
- · 有2位网友选择 D,占比22.22%
- · 有2位网友选择 C,占比22.22%
- · 有1位网友选择 B,占比11.11%
A.
B.
C.
D.
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)
A.是自由变元但不是约束变元
B.是约束变元但不是自由变元
C.既不是自由变元也不是约束变元
D.即是自由变元又是约束变元
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
A.上述公式中的所有 y 是自由变元。
B.P(x, y) 中的 x 是约束变元。
C.R(x, y) 中的 x 是约束变元。
D.Q(x, y) 中的 x 是约束变元。
为了保护您的账号安全,请在“简答题”公众号进行验证,点击“官网服务”-“账号验证”后输入验证码“”完成验证,验证成功后方可继续查看答案!