公式(∃x)((P(x,y)→Q(z) )R(z))的约束变元为_______ ,自由变元为_______ 。 作者:高老师 时间:2024-08-03 浏览 2 公式(∃x)((P(x,y)→Q(z) )R(z))的约束变元为_______ ,自由变元为_______ 。【正确答案】:x, y、z【题目解析】:根据一阶逻辑符号化的概念及全称量词与存在量词,可以判断约束变元为x,而自由取值没有被约束的为y、z。 📱 扫码体验刷题小程序 扫一扫使用我们的微信小程序