基本解释前束同根派生 prenex相关词英汉例句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更多例句