查看原题
设个体域 $D=\{a, b\}$, 消去公式 $\exists x F(x) \rightarrow \forall y G(y)$ 中的量词为:
                        
不再提醒