问答题
指出下列公式中的约束变元和自由变元
（∀z）（P（x）∧（∃x）R（x，z）→（∃y）Q（x，y））∨R（x，y）
问答题 （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））
