prenex

基本解釋

• 前束

同根派生

• prenex相關(guān)詞

英漢例句

• Prenex normal form of the first order logic propositional is the key to propositional logic.
  對於一堦謂詞化爲(wèi)其前束範(fàn)式問題，一般可以通過三個步驟完成，首先去掉邏輯式中的連接詞；
• prenex formula
  前束式
• prenex normal form
  前束範(fàn)式
• prenex normal
  [計] 前束範(fàn)式
• prenex form
  前束式

• prenex更多例句