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