True

True
真を与えるブール値のシンボルである.

予備知識
予備知識

  • Trueは,ブール値の真を表す記号である.厳密に真であることを立証できる式はこの記号を返す.Trueを返すかもしれない式を検定するものの例には,EqualUnequalSameQUnsameQLess/Greater/等,Exists,およびResolveを通しての限定子消去が含まれる.条件がTrueであるかFalseであるかによって,異なる評価経路を取るように使える構文には,IfWhichPiecewiseが含まれる.
  • Trueの否定Not[True]は,Falseによって与えられる.TrueFalseからなる領域は,Booleansで示される.
  • TrueQは,式が明示的にTrueである場合にはTrueを,それ以外の場合にはFalseを返すIfの特殊形である.

例題例題すべて開くすべて閉じる

  (4)  (4)

ブール式を評価する:

In[1]:=
Click for copyable input
Out[1]=

条件を使う:

In[1]:=
Click for copyable input
Out[1]=

構造特性をテストする:

In[1]:=
Click for copyable input
Out[1]=

数学特性をテストする:

In[1]:=
Click for copyable input
Out[1]=
1988年に導入
(1.0)