# A report onProposition, Truth and Truth value

In logic and mathematics, a truth value, sometimes called a logical value, is a value indicating the relation of a proposition to truth.

- Truth value

In everyday language, truth is typically ascribed to things that aim to represent reality or otherwise correspond to it, such as beliefs, propositions, and declarative sentences.

- Truth

Equivalently, a proposition is the non-linguistic bearer of truth or falsity which makes any sentence that expresses it either true or false.

- Proposition

It can generally be used to refer to some or all of the following: The primary bearers of truth values (such as "true" and "false"); the objects of belief and other propositional attitudes (i.e. what is believed, doubted, etc.); the referents of "that"-clauses (e.g. "It is true that the sky is blue" and "I believe that the sky is blue" both involve the proposition the sky is blue); and the meanings of declarative sentences.

- Proposition

Degrees of truth in logic may be represented using two or more discrete values, as with bivalent logic (or binary logic), three-valued logic, and other forms of finite-valued logic.

- Truth