案例分析题

指出下列公式中的约束变元和自由变元

（∃x）（∀y）（R（x，y）∧Q（z））

（x）（P（x）∧（x）Q（x））∨（（x）R（x，y）∧Q（z）） 点击查看答案

（x）（P（x）∧R（x））→（（x）P（x）∧Q（x）） 点击查看答案