Not

!expr

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

詳細

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

例題

すべて開くすべて閉じる

例  (3)

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

記号的否定：

notを使って入力：

スコープ  (4)

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

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

限量詞を否定する：

TraditionalFormによる表示：

アプリケーション  (2)

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

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

以下は集合を示す：

特性と関係  (4)

Notの真理値表：

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

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

Boole関数の条件の否定：

考えられる問題  (1)

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

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_2024_not, author="Wolfram Research", title="{Not}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/Not.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_not, organization={Wolfram Research}, title={Not}, year={1996}, url={https://reference.wolfram.com/language/ref/Not.html}, note=[Accessed: 22-November-2024 ]}