Definition:Truth Value

From ProofWiki
Jump to navigation Jump to search


This page has been identified as a candidate for refactoring of medium complexity.
In particular: 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}$.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may remove this instance of {{Refactor}} from the code.


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:

$\T$ for true and $\F$ for false;
$1$ for true and $0$ for false.


There are advantages for both notations. In particular, the second lends itself to extending the discipline of logic into that of probability theory.



This article is complete as far as it goes, but it could do with expansion.
In particular: Other logic types
You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding this information.
To discuss this page in more detail, feel free to use the talk page.
When this work has been completed, you may 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.


Sources

Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Truth_Value&oldid=571047"