Enable JavaScript to interact with content and submit forms on Wolfram websites. Learn how

Wolfram Language & System Documentation Center

False

False

そのブール代数値が偽である記号である．

予備知識

Falseは，ブール(Boolean)値の偽を表すシンボルである．厳密に偽であると立証できる式はこのシンボルを返す．Falseを返すことができる式を検定する例には，Equal，Unequal，SameQ，UnsameQ，Less/Greater等，Exists，そしてResolveを使った限定子の消去が含まれる．「Q関数」（TrueQ，SameQ，UnsameQ等）は，常にTrueあるいはFalseを返すが，Qが付かない比較や等価判定の関数（ Equal，Unequal，Less，Greater等）は，確実に結論が出せない場合は未評価で戻される．条件がFalseかTrueかによって異なる評価経路を取るのに使える構文には，If，Which，Piecewiseが含まれる．
Falseの否定Not[False]はTrueで与えられる．FalseとTrueからなる領域は，Booleansで示される．
TrueQは，式が明示的にTrueである場合にはTrueを，その他の場合にはFalseを返す，Ifの特殊形である．Falseに対応する組込み関数はない．

例題

すべて開くすべて閉じる

例 (4)

ブール式を評価する：

条件を使う：

構造特性をテストする：

数学特性をテストする：

特性と関係 (6)

ブール値の真の記号：

ブール関数の真理値表：

Boole関数：

この文は自動的には解かれない：

FullSimplifyを使ってこの真理値を求める：

完全に限量詞が付いた式：

Resolveを使って真理値を求める：

Refineを使って指定の仮定の下で式の真理値を求める：

Top