注意：此页面搜索的是所有试题
谓词公式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)。
·xG(x,z)→xyH(x,y,z);
·G(x,z)→yH(x,y,z);
·G(x,z)→xyH(x,y,z);
·G(x,z)。
参考答案
