THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica > 数学とアルゴリズム > 離散数学 > ブール計算 > Not (!, ¬) >

MATHEMATICA 組込みシンボル

Not

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

Not[expr]は，¬expr のように，StandardFormやInputFormで入力できる．記号はEsc ! Esc，Esc not Escあるいはとして入力できる． »

テキストベースのフロントエンドで Mathematica を使う際，!expr が行の先頭に置かれる場合は式!expr をNot[expr]の代りに使うことはできない．この場合，!expr はシェルエスケープと解釈されるためである． »

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

記号的否定：

Esc not Escを使って入力：

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

Out[1]=

記号的否定：

Out[1]=

Esc not Escを使って入力：

Out[1]=

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

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

限量詞を否定する：

TraditionalFormによる表示：

Mathematica コードで条件を否定する：

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

以下は集合を示す：

Notの真理値表：

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

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

Boole関数の条件の否定：

カッコを用いてターミナルのインターフェースを使用するときに行頭の

がシェルエスケープと間違えられないようにする：