False

False
is the symbol for the Boolean value false.

Background
Background

  • False is the symbol that represents the Boolean value false. Expressions that can be rigorously established to be false return this symbol. Examples of testing expressions that may return False include Equal, Unequal, SameQ, UnsameQ, Less/Greater/etc., Exists, and quantifier elimination via Resolve. While "Q"-functions (e.g. TrueQ, SameQ, UnsameQ) always return True or False, non-Q comparison and equality-testing functions (e.g. Equal, Unequal, Less, Greater) return unevaluated when they cannot be definitively resolved. Constructs that can be used to take a different evaluation path depending on if a condition is False or True include If, Which, and Piecewise.
  • The negation Not[False] of True is given by True. The domain consisting of False and True is denoted Booleans.
  • While TrueQ is a special case of If that yields True if an expression is explicitly True and otherwise yields False, there is no corresponding built-in function for False.

ExamplesExamplesopen allclose all

Basic Examples  (4)Basic Examples  (4)

Evaluate a Boolean expression:

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

Use a conditional:

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

Test a structural property:

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

Test a mathematical property:

In[1]:=
Click for copyable input
Out[1]=
Introduced in 1988
(1.0)