公式∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,y)换名,正确的是()
选项:
A:∀u∀y(P(u,y)∨Q(y,z))∧∃uP(u,y)
B:∀x∀y(P(x,y)∨Q(y,z))∧∃xP(x,u)
C:∀x∀y(P(x,u)∨Q(u,z))∧∃xP(x,u)
D:∀x∀u(P(x,u)∨Q(u,z))∧∃xP(x,y)
发布时间:2024-05-19 21:59:59