查看原题
设个体域 $D=\{2,3,4\}$, 则谓词公式 $(\forall x) P(x)$ 消去量词后的等值式为
                        
不再提醒