单词 | existential quantifier |
释义 | existential quantifier [´eg·zǝ¦sten·chǝl `kwän·tǝ´fī·ǝr] MATHEMATICS A logical relation, often symbolized ∃, that may be expressed by the phrase ``there is a'' or ``there exists''; if P is a predicate, the statement (∃x )P(x ) is true if there exists at least one value of x in the domain of P for which P(x ) is true, and is false otherwise. |
随便看 |
|
科学参考收录了103327条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。