---

谓词公式xF(x,y)∧x(G(x,z)→xyH(x,y,z))中量词x的辖域是:( )
·xG(x,z)→xyH(x,y,z);
·G(x,z)→yH(x,y,z);
·G(x,z)→xyH(x,y,z);
·G(x,z)。

---

出自：西南石油大学土木工程施工与组织(专升本)

显示答案