问答题
指出∃x∀y（P（x）∧Q（x）→∀zR（z））中的自由变元和约束变元，并指明量词的辖域。
问答题 指出x（P（x）∧xQ（x））∨（xP（x）→Q（y））中的自由变元和约束变元，并指明量词的辖域。
问答题 x（H（x）∧P（x））
问答题 x（H（x）∧S（x））
