NotElement
✖
NotElement
詳細

- x∉dom は
!el
dom または x∖[NotElement]dom として入力できる.
- NotElement[x,dom]はNot[Element[x, dom]に等しい.
- NotElement[x1…xn,dom]はNot[Element[x1,dom]]&&…&&Not[Element[xn,dom]]に等しい.
例題
すべて開くすべて閉じる例 (3)基本的な使用例
特性と関係 (1)この関数の特性および他の関数との関係
変数が1つのとき,NotElementの否定は自動的にElementに変換される:
In[1]:=1

✖
https://wolfram.com/xid/0e7qpxf2-e0mypk
Out[1]=1

変数が複数のとき,NotElementの否定は自動的には簡約されない:
In[2]:=2

✖
https://wolfram.com/xid/0e7qpxf2-ec5n8q
Out[2]=2

LogicalExpandを使ってElementについての表現を求める:
In[3]:=3

✖
https://wolfram.com/xid/0e7qpxf2-bg1b8r
Out[3]=3

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.
テキスト
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 Language. 2007. "NotElement." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/NotElement.html.
✖
Wolfram Language. 2007. "NotElement." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/NotElement.html.
APA
Wolfram Language. (2007). NotElement. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/NotElement.html
✖
Wolfram Language. (2007). NotElement. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/NotElement.html
BibTeX
✖
@misc{reference.wolfram_2025_notelement, author="Wolfram Research", title="{NotElement}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/NotElement.html}", note=[Accessed: 04-April-2025
]}
BibLaTeX
✖
@online{reference.wolfram_2025_notelement, organization={Wolfram Research}, title={NotElement}, year={2007}, url={https://reference.wolfram.com/language/ref/NotElement.html}, note=[Accessed: 04-April-2025
]}