查看原题
求谓词公式的前束范式 $\neg \forall x(F(x) \rightarrow G(x)) $
                        
不再提醒