查看原题
谓词公式 $\forall x(P(x) \rightarrow Q(x)) \wedge \exists y(Q(y) \wedge \neg P(y))$ 中量词 $\forall x$ 的辖域为 ( ), 量词 $\exists y$ 的辖域为
                        
不再提醒