prenex

常見例句

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