TrueQ TrueQ[expr] returns True if expr is True, False otherwise. Attributes[TrueQ] := {Protected} Simple examples In[1]:= TrueQ[True] Out[1]= True In[2]:= TrueQ[False] Out[2]= False In[3]:= TrueQ[1] Out[3]= False