公式(∃x)((P(x,y)→Q(z) )R(z))的约束变元为_______ ,自由变元为_______ 。

作者:高老师 浏览 2

公式(∃x)((P(x,y)→Q(z) )R(z))的约束变元为_______ ,自由变元为_______ 。


【正确答案】:x, y、z
【题目解析】:根据一阶逻辑符号化的概念及全称量词与存在量词,可以判断约束变元为x,而自由取值没有被约束的为y、z。

📱 扫码体验刷题小程序

微信小程序二维码

扫一扫使用我们的微信小程序

热门题目

已复制到剪贴板