WOLFRAM

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

False

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

予備知識
例題  
例  
特性と関係  
関連項目
テクニカルノート
関連するガイド
関連リンク
履歴
引用書式

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)

ブール式を評価する：

Wolfram Language code: Implies[Not[False], False && False]

条件を使う：

Wolfram Language code: If[False, a, b]

構造特性をテストする：

Wolfram Language code: MatrixQ[{{1, 2, 3}, {4, 5, 6, 7}}]

数学特性をテストする：

Wolfram Language code: Sin[E] < Cos[E]

特性と関係  (6)

ブール値の真の記号：

Wolfram Language code: Not[False]

ブール関数の真理値表：

Wolfram Language code: Outer[Xor, {True, False}, {True, False}]//Grid

Boole関数：

Wolfram Language code: Boole /@ {True, False}

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

Wolfram Language code: Log[Sqrt[2] + Sqrt[3]] ≠ Log[5 + 2Sqrt[6]] / 2

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

Wolfram Language code: FullSimplify[%]

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

Wolfram Language code: ForAll[{x, y}, x < y, Exists[z, x < z ^ 2 < y]]

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

Wolfram Language code: Resolve[%]

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

Wolfram Language code: Refine[x ^ 2 + y ^ 2 == 0, Element[x | y, Reals] && x y ≠ 0]
Wolfram Research (1988), False, Wolfram言語関数， https://reference.wolfram.com/language/ref/False.html.

テキスト

Wolfram Research (1988), False, Wolfram言語関数， https://reference.wolfram.com/language/ref/False.html.

CMS

Wolfram Language. 1988. "False." Wolfram Language & System Documentation Center. Wolfram Research. https://reference.wolfram.com/language/ref/False.html.

APA

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

BibTeX

@misc{reference.wolfram_2026_false, author="Wolfram Research", title="{False}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/False.html}", note=[Accessed: 06-September-2026]}

BibLaTeX

@online{reference.wolfram_2026_false, organization={Wolfram Research}, title={False}, year={1988}, url={https://reference.wolfram.com/language/ref/False.html}, note=[Accessed: 06-September-2026]}