Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Truth predicate
open-in-new
<p>In formal theories of <a href="/facts/Truth/NyQmBtUC">truth</a>, a truth predicate is a fundamental concept based on the <a href="/facts/Sentence_(mathematical_logic)/lnsLzvTx">sentences</a> of a <a href="/facts/Formal_language/crDTyP8q">formal language</a> as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement or idea "is true." </p>