Documentation

Mathematica Teacher's Edition

Built-in Functions

Programming

Tests

TrueQ

TrueQ[expr] yields True if expr is True, and yields False otherwise.

Example: TrueQ[x==y].
You can use TrueQ to "assume" that a test fails when its outcome is not clear.
TrueQ[expr] is equivalent to If[expr, True, False, False].
See The Mathematica Book on the web: Section 2.5.8.
See also: If, Condition, SameQ.