查看原题
谓词公式 $\exists \mathrm{xA}(\mathrm{x})$ to $\forall \mathrm{xB}(\mathrm{x})$ 的否定式为
                        
不再提醒