formal truth
nounDefinition of formal truth
: 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