TrueQ

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

Examples

Test for True:

TrueQ[True]
(* True *)

TrueQ[False]
(* False *)

Unevaluated expressions give False:

TrueQ[x > 0]
(* False *)

Please visit the official Wolfram Language Reference for more details.