|This article does not cite any sources. (December 2009) (Learn how and when to remove this template message)|
In formal theories of truth, a truth predicate is a fundamental concept based on the sentences of a formal language as interpreted logically. That is, it formalizes the concept that is normally expressed by saying that a sentence, statement, or idea "is true."
|This logic-related article is a stub. You can help Wikipedia by expanding it.|
|This linguistics article is a stub. You can help Wikipedia by expanding it.|