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.