常見例句Prenex normal form of the first order logic propositional is the key to propositional logic. 對于一階謂詞化為其前束范式問題，一般可以通過三個步驟完成，首先去掉邏輯式中的連接詞；prenex formula 前束式prenex normal form 前束范式prenex normal [計] 前束范式prenex form 前束式 返回 prenex