在有限个体域谓词公式消去量词得到的是命题公式吗？

Question

如题所述

Answer 1

不是，谓词公式里含有个体常项/个体变项、谓词常项/谓词变项，而命题公式是特殊的谓词公式，该公式也叫做0元谓词常项（个体变项为零，并且是谓词常项）。即使消去量词，只要谓词公式含有变项，都不是命题，因为真值无法确定。