下列谓词公式中，不是前束范式的为（）。

下列谓词公式中，不是前束范式的为（）。
A、
B、
C、
D、
【正确答案】：D
【题目解析】：根据一阶逻辑前束范式的定义，所有约束量词只能在公式最前面，后面公式不能出现量词，排除选项ABC，故选D。