formal truth 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