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