noun
: the true elaboration of concepts, meanings, or implications that is relatively independent of external existence or nonexistence
the formal truth of a definition
the truth that certain premises give a certain conclusion is a formal truth
— called also logical truth