谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________，自由变元是________。 - 题库学习平台

谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________，自由变元是________。
【正确答案】：P(x)→∃yQ(y),R(y)中的y

↑