Definition:Truth Value
Disambiguate with Definition:Boolean Interpretation/Truth Value
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
Definition
Aristotelian Logic
In Aristotelian logic, a statement can be either true or false, and there is no undefined, in-between value.
Whether it is true or false is called its truth value.
Note that a statement's truth value may change depending on circumstances.
Thus, the statement:
- It is currently raining on the grass outside my window
has the truth value false, whereas it had the truth value true last week.
The statement:
- I am listening to Shostakovich's 4th symphony
is currently true, but that will last only for the next twenty minutes or so as I type.
The truth values true and false are usually represented in one of two ways:
There are advantages for both notations. In particular, the second lends itself to extending the discipline of logic into that of probability theory.
Other logic types
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
To discuss it in more detail, feel free to use the talk page.
If you are able to do this, then when you have done so you can remove this instance of {{Expand}} from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Sources
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): $\S 1.3$: Logical Form
