Science Fair Project Encyclopedia
Principle of bivalence
In logic, the principle of bivalence states that for any proposition P, either P is true or P is false.
This is not to be confused with the law of excluded middle and the law of noncontradiction. See bivalence and related laws for a summary of the differences.
In classical logic, the principle of bivalence is equivalent to the result that there are no propositions that are neither true nor false. A proposition P that is neither true nor false is undecidable. In intuitionistic logic, sometimes the truth-value of a proposition P cannot be determined (i.e. P cannot be proved nor disproved). In such a case, P simply does not have a truth-value. Other logics, e.g. multi-valued logic, may assign P an indeterminate truth-value.
See also
Last updated: 10-12-2005 14:28:43
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details