prenex

基本解释

• 前束

同根派生

• 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更多例句