请输入您要查询的英文单词:

 

单词 prenex normal form
释义

Definition of prenex normal form in English:

prenex normal form

noun
Logic
  • A form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence.

Origin

1940s.

 
 

Definition of prenex normal form in US English:

prenex normal form

noun
Logic
  • A form of expressing a logical formula in which all the quantifiers are placed before an open sentence, each quantifier affects the whole sentence and is associated with a different variable, and each variable occurs in the sentence.

Origin

1940s.

 
 
随便看

 

英语词典包含464360条英英释义在线翻译词条,基本涵盖了全部常用单词的英英翻译及用法,是英语学习的有利工具。

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/11/14 13:11:40