In FOL, there are two **values** true and false;

In FOL, there are two **constant literals** : T and F;

Is there any difference between the both (values and constant literals)?

Can I say that true value is same as constant literal T and false value as F?