WOLFRAM

Wolfram言語 ＆ システムドキュメントセンター

!expr

論理否定関数で，式 expr がTrueの場合にはFalseを，Falseの場合にはTrueを返す．

詳細
Details and Options Details and Options
例題  
例  
スコープ  
アプリケーション  
特性と関係  
考えられる問題  
関連項目
テクニカルノート
関連するガイド
関連リンク
履歴
引用書式

Not

!expr

論理否定関数で，式 expr がTrueの場合にはFalseを，Falseの場合にはTrueを返す．

詳細

  • Not[expr]は，¬expr のように，StandardFormやInputFormで入力できる．記号¬は!，notあるいは∖[Not]として入力できる． »
  • Notは，さまざまな簡約化の規則を適用し必要に応じて記号的な結果を与える．
  • テキストベースのフロントエンドでWolframシステムを使う際，!expr が行の先頭に置かれる場合は式!expr をNot[expr]の代りに使うことはできない．この場合，!expr はシェルエスケープと解釈されるためである． »

例題

すべて開く すべて閉じる

例  (3)

アサーションを否定する：

Wolfram Language code: !x > 1

記号的否定：

Wolfram Language code: !x

notを使って入力：

Wolfram Language code: ¬p

スコープ  (4)

二重否定は簡約するとそれ自身になる：

Wolfram Language code: Not[Not[a]]

方程式と不等式を否定する：

Wolfram Language code: Not[a == b]
Wolfram Language code: Not[a ≥ b]

限量詞を否定する：

Wolfram Language code: !Exists[x, f[x]]
Wolfram Language code: !ForAll[x, f[x]]

TraditionalFormによる表示：

Wolfram Language code: !x//TraditionalForm

アプリケーション  (2)

Wolfram言語コードで条件を否定する：

Wolfram Language code: Select[{1, Pi, 2.3, 3 + 7I, x}, !NumberQ[#]&]

代数的条件で与えられた補集合の面積を求める：

Wolfram Language code: Integrate[Boole[Not[y ^ 2 - 4x ^ 2 + 4x ^ 4 ≤ 0]], {x, -1, 1}, {y, -1, 1}]

以下は集合を示す：

Wolfram Language code: RegionPlot[Not[y ^ 2 - 4x ^ 2 + 4x ^ 4 ≤ 0], {x, -1, 1}, {y, -1, 1}]

特性と関係  (4)

Notの真理値表：

Wolfram Language code: BooleanTable[{x, Not[x]}, {x}]//Grid

BooleanConvertを使ってImpliesの否定を簡約する：

Wolfram Language code: BooleanConvert[!Implies[a, b]]

ド・モルガン(De Morgan)の法則は And，Or，Notを関連付ける：

Wolfram Language code: BooleanConvert[!(a && b)]
Wolfram Language code: BooleanConvert[!(a || b || c)]

Boole関数の条件の否定：

Wolfram Language code: Boole[!a] == 1 - Boole[a]
Wolfram Language code: Simplify[%]

考えられる問題  (1)

カッコを用いてターミナルのインターフェースを使用するときに行頭の!がシェルエスケープと間違えられないようにする：

Wolfram Language code: (!True)
Wolfram Research (1988), Not, Wolfram言語関数， https://reference.wolfram.com/language/ref/Not.html （1996年に更新）.

テキスト

Wolfram Research (1988), Not, Wolfram言語関数， https://reference.wolfram.com/language/ref/Not.html （1996年に更新）.

CMS

Wolfram Language. 1988. "Not." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 1996. https://reference.wolfram.com/language/ref/Not.html.

APA

Wolfram Language. (1988). Not. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/Not.html

BibTeX

@misc{reference.wolfram_2026_not, author="Wolfram Research", title="{Not}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Not.html}", note=[Accessed: 08-July-2026]}

BibLaTeX

@online{reference.wolfram_2026_not, organization={Wolfram Research}, title={Not}, year={1996}, url={https://reference.wolfram.com/language/ref/Not.html}, note=[Accessed: 08-July-2026]}