谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。

分类: 离散数学(02324) 发布时间: 2024-08-03 23:50 浏览量: 1
谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。
【正确答案】:P(x)⋁∃yF(y)