离散数学 前束范式 前束范式 $:=$ $$\prod Q_{k}F(\dots)$$ 其中 $Q_{k} \in \left{\forall,\exists\right}$ $\neg\ \notin \left{\forall,\exists\right}$ 非前束范式易错 形如以下公式不属于前束范式: $\neg Q_{1}Q_{2}F(\dots)$ $Q_{1}\neg Q_{2}F(\dots)$