True

True

is the symbol for the Boolean value true.

Background & Context

Examples

open allclose all

Basic 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 false:

Truth table for a Boolean function:

The Boole function:

This equality 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:

Introduced in 1988
 (1.0)