一阶逻辑公式x(F(x)→G(x,y))是闭式。
·正确
·错误
出自:佳木斯大学语言治疗学