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

　

单词 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/10/19 14:46:07