作业辅导网

标题: 指出下列表达式中的自由变量和约束变量，并指明 [打印本页]

作者: 李老师 时间: 2020-9-20 10:55
标题: 指出下列表达式中的自由变量和约束变量，并指明
指出下列表达式中的自由变量和约束变量，并指明量词的作用域：
（1）(xP(x)xQ(x))(xP(x)Q(y))
（2）xy((P(x)Q(y))zR(z))
（3）A(z)(xyB(x，y，a))
（4）x A(x)yB(x，y)
（5）(xF(x)yG(x，y，z))zH(x，y，z) （10 分）

欢迎光临作业辅导网 (http://aopeng100.com/)