*** Welcome to piglix ***

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.

In classical logic, with its intended semantics, the truth values are true (1 or T) and untrue or false (0 or ⊥); that is, classical logic is a two-valued logic. This set of two values is also called the Boolean domain. Corresponding semantics of logical connectives are truth functions, whose values are expressed in the form of truth tables. Logical biconditional becomes the equality binary relation, and negation becomes a bijection which permutes true and false. Conjunction and disjunction are dual with respect to negation, which is expressed by De Morgan's laws:

Propositional variables become variables in the Boolean domain. Assigning values for propositional variables is referred to as valuation.

In intuitionistic logic, and more generally, constructive mathematics, statements are assigned a truth value only if they can be given a constructive proof. It starts with a set of axioms, and a statement is true if you can build a proof of the statement from those axioms. A statement is false if you can deduce a contradiction from it. This leaves open the possibility of statements that have not yet been assigned a truth value. Unproven statements in Intuitionistic logic are not given an intermediate truth value (as is sometimes mistakenly asserted). Indeed, you can prove that they have no third truth value, a result dating back to Glivenko in 1928


...
Wikipedia

...