IsTrue

Tests whether expr evaluates to the literal True.

✓ checked against that system · ! checked, with disagreements (hover a chip)Wolfram LanguageTrueQ✓↗

IsTrue(expr)True only if expr evaluates to True, False otherwise

Typed signatures

Type	Package	Applies
(any) -> boolean	combinatorics	always

Domain: Collections

Details

• No third "unknown" outcome — an unevaluated symbolic expression, False, or anything else that isn't literally True all answer False.
• Wolfram's TrueQ; ours spells predicates Is… (see IsPrime, IsConnectedGraph).

Examples

Basic #

live ↗

In$\mathrm{IsTrue}(\mathrm{True})$Out$\mathrm{True}$

Scope #

live ↗

In$\mathrm{IsTrue}(\mathrm{False})$Out$\mathrm{False}$

live ↗

In$\mathrm{IsTrue}(1=1)$Out$\mathrm{True}$

live ↗

In$\mathrm{IsTrue}(x)$Out$\mathrm{False}$

About

Examples	4
Checked against	Wolfram Language 4 agree
Crosswalk	Wolfram Language

See also: IsInteger