查看原题
求合式公式 $\exists x P(x) \rightarrow \exists x Q(x, y)$ 的前束范式
                        
不再提醒