谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是

分类: 离散数学(02324) 发布时间: 2024-08-03 23:49 浏览量: 1
谓词公式∀x(F(x)⋀G(y))→∃y(H(x)→S(y,z)中量词∀x的辖域是
A、F(x)⋀G(y)
B、F(x)
C、∀x(F(x)⋀G(y))
D、F(x), H(x)
【正确答案】:A