NotElement

NotElement[x,dom]

x∉dom，表示 x 不是 dom 域中的元素.

NotElement[x1|…|xn,dom]

表示任何一个 x_(i) 不是 dom 域中的元素.

NotElement[patt,dom]

表示和 patt 模式匹配的表达式都不属于 dom 域.

更多信息

范例

打开所有单元关闭所有单元

基本范例  (3)

测试 是否是整数域中的元素：

表示 不是实数：

通过键入 !elem 获得：

范围  (1)

测试域中成员：

属性和关系  (1)

对于单一变量，NotElement 的否定自动转换为 Element：

对于复变量，NotElement 的否定不会自动化简：

用 LogicalExpand 找到关于 Element 的表示形式：

Wolfram Research (2007)，NotElement，Wolfram 语言函数，https://reference.wolfram.com/language/ref/NotElement.html.

文本

Wolfram Research (2007)，NotElement，Wolfram 语言函数，https://reference.wolfram.com/language/ref/NotElement.html.

CMS

Wolfram 语言. 2007. "NotElement." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/NotElement.html.

APA

Wolfram 语言. (2007). NotElement. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/NotElement.html 年

BibTeX

@misc{reference.wolfram_2024_notelement, author="Wolfram Research", title="{NotElement}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/NotElement.html}", note=[Accessed: 03-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_notelement, organization={Wolfram Research}, title={NotElement}, year={2007}, url={https://reference.wolfram.com/language/ref/NotElement.html}, note=[Accessed: 03-December-2024 ]}