网站首页  汉语  德语  英语

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

 

单词 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.

随便看

 

雅致网英汉双解词典包含236457条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。

 

Copyright © 2002-2024 53pku.com All Rights Reserved
更新时间:2025/6/19 14:21:37