常见例句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