truth value

A truth value is a value indicating the relation of a proposition to truth.

Formally,

truth value	representation	boolean
`true`	$⊤$ (verum)	1
`false`	$⊥$ (falsum)	0

See also

law of excluded middle

Powered by Forestry.md