基本解釋前束同根派生 prenex相關(guān)詞英漢例句Prenex normal form of the first order logic propositional is the key to propositional logic. 對(duì)於一堦謂詞化爲(wèi)其前束範(fàn)式問題，一般可以通過三個(gè)步驟完成，首先去掉邏輯式中的連接詞；prenex formula 前束式prenex normal form 前束範(fàn)式prenex normal [計(jì)] 前束範(fàn)式prenex form 前束式prenex更多例句