5.2 一阶逻辑的前束范式