NotElement

✖
`NotElement`

✖

NotElement[x,dom]

あるいは x∉dom は，が領域 dom の要素ではないと宣言する．

✖

NotElement[x₁|…|x_n,dom]

には dom の要素が含まれないと宣言する．

✖

NotElement[patt,dom]

パターン patt とマッチするいずれの式も領域 dom の要素ではないと宣言する．

詳細

x∉dom は !el dom または x∖[NotElement]dom として入力できる．
NotElement[x,dom]はNot[Element[x, dom]に等しい．
NotElement[x₁|…|x_n,dom]はNot[Element[x₁,dom]]&&…&&Not[Element[x_n,dom]]に等しい．

例題

すべて開くすべて閉じる

例 (3)基本的な使用例

が整数の要素ではないかどうかをテストする：

In[1]:=1

✖

https://wolfram.com/xid/0e7qpxf2-bf

Out[1]=1

が実数ではないと表す：

In[1]:=1

✖

https://wolfram.com/xid/0e7qpxf2-dxbtxo

Out[1]=1

!elemを使って入力する：

In[1]:=1

✖

https://wolfram.com/xid/0e7qpxf2-cyw7h8

Out[1]=1

スコープ (1)標準的な使用例のスコープの概要

領域構成をテストする：

In[1]:=1

✖

https://wolfram.com/xid/0e7qpxf2-j0byqx

Out[1]=1

特性と関係 (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

トップへ