谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。
谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。
【正确答案】:P(x)⋁∃yF(y)
Top