用推理方法证明:

用CP规则证明下面有效推理。 前提:P→(Q→S),P⋁¬R,Q 结论:R→S

谓词公式∀x(P(x)⋁∃yF(y)→¬∃xQ(x)中量词∀x的辖域为______________。

谓词公式∀x(G(x)Ⅴ∃yT(y))→Q(x)中变元y是______。

公式(∃x)P(x,y)→∀zQ(x,z))的约束变元为___________,自由变元为___________。

在整数域中,命题公式∀x∃y(x·y=0)的真值为_____________，命题公式∃x∀y(x·y=1)的真值为______________。

在正整数域中,命题公式∀x∃y(x·y=0)的真值为_____________，命题公式∃x∀y(x·y=1)的真值为______________。

在实数域中,命题公式∀x∃y(x·y=0)的真值为_________,命题公式∃x∀y(x·y=1)的真值为_________。

谓词公式∀x(P(x)→∃yQ(y))⋁R(y)中, ∀x的辖域是________，自由变元是________。

¬ (∀xF(x,y)Ⅴ∃yG(x,y))对应的前束范式是______。