案例分析题

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

（∀z）（P（x）∧（∃x）R（x，z）→（∃y）Q（x，y））∨R（x，y）

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

问答题（∃x）（∀y）（R（x，y）∧Q（z））

（x）（P（x）∧（x）Q（x））∨（（x）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））

问答题（∀x）（P（x）∧R（x））→（（∃x）P（x）∧Q（x））