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

 

单词 prenex
释义

Definition of prenex in English:

prenex

adjective ˈpriːnɛks
Logic
  • Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier.

Origin

1930s; earliest use found in Journal of Symbolic Logic. From post-classical Latin praenexus tied or bound up in front, past participle of praenectere (though only recorded in past participle) from classical Latin prae- + nectere to bind, connect.

Definition of prenex in US English:

prenex

adjectiveˈpriːnɛks
Logic
  • Designating a quantifier placed at the beginning of a formula which affects the whole formula; relating to or involving such a quantifier.

Origin

1930s; earliest use found in Journal of Symbolic Logic. From post-classical Latin praenexus tied or bound up in front, past participle of praenectere (though only recorded in past participle) from classical Latin prae- + nectere to bind, connect.

随便看

 

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

 

Copyright © 2004-2022 Newdu.com All Rights Reserved
更新时间:2024/10/19 14:46:46