Truth Values

Definition: Truth Values

The set of truth values in two-valued logic is a set $\{T,F\}$ of two distinct elements:

• the element $F$ is called falsity;
• the element $T$ is called truth.