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