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