is the symbol for the Boolean value false.
False
is the symbol for the Boolean value false.
Background & Context
- 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 False 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 .
Examples
open all close allBasic Examples (4)
Evaluate a Boolean expression:
Use a conditional:
Test a structural property:
Test a mathematical property:
Properties & Relations (6)
The symbol for the Boolean value true:
Truth table for a Boolean function:
The Boole function:
This statement is not resolved automatically:
Use FullSimplify to find its truth value:
A fully quantified expression:
Use Resolve to find its truth value:
Use Refine to find truth values of expressions under specified assumptions:
Tech Notes
History
Introduced in 1988 (1.0)
Text
Wolfram Research (1988), False, Wolfram Language function, 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_2025_false, author="Wolfram Research", title="{False}", year="1988", howpublished="\url{https://reference.wolfram.com/language/ref/False.html}", note=[Accessed: 16-November-2025]}
BibLaTeX
@online{reference.wolfram_2025_false, organization={Wolfram Research}, title={False}, year={1988}, url={https://reference.wolfram.com/language/ref/False.html}, note=[Accessed: 16-November-2025]}