指出下列量词的辖域,并指出各式中的自由变元合约束变元.
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/07/29 16:47:24
指出下列量词的辖域,并指出各式中的自由变元合约束变元.
![](http://img.wesiedu.com/upload/2/8e/28eca018c4a563f7572f04a156f62f42.jpg)
![](http://img.wesiedu.com/upload/2/8e/28eca018c4a563f7572f04a156f62f42.jpg)
![指出下列量词的辖域,并指出各式中的自由变元合约束变元.](/uploads/image/z/8203575-39-5.jpg?t=%E6%8C%87%E5%87%BA%E4%B8%8B%E5%88%97%E9%87%8F%E8%AF%8D%E7%9A%84%E8%BE%96%E5%9F%9F%2C%E5%B9%B6%E6%8C%87%E5%87%BA%E5%90%84%E5%BC%8F%E4%B8%AD%E7%9A%84%E8%87%AA%E7%94%B1%E5%8F%98%E5%85%83%E5%90%88%E7%BA%A6%E6%9D%9F%E5%8F%98%E5%85%83.)
全称量词的辖域是P(x)Q(x),存在量词的辖域是R(x).
前三个x是约束变元,受全称量词所辖.
中间两个x是约束变元,受存在量词所辖.
最后一个是x是自由变元.
前三个x是约束变元,受全称量词所辖.
中间两个x是约束变元,受存在量词所辖.
最后一个是x是自由变元.