truth predicate
please note:
- the text and code below is from The Pseudopedia
- it has been imported raw for GetWiki
{{Unreferenced stub|auto=yes|date=December 2009}}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."
See also
{{Ling-stub}}
- content above as imported from The Pseudopedia
- "truth predicate" does not exist on GetWiki
- time: 3:55am EDT - Fri, Mar 19 2010
