网站首页  词典首页

请输入您要查询的词汇:

 

词汇 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 © 2000-2024 Sndmkt.com All Rights Reserved 更新时间:2024/12/28 0:20:52