Welcome guest
You're not logged in.
304 users online, thereof 0 logged in

The axiom of bivalence of truth motivates a formal definition of the values true and false as elements of a set. This set of truth values will be just a convenient notation used frequently later on in the text.

Definition: Set of Truth Values (True and False)

The set of truth values contains the elements \[\mathbb B:=\{\text{false},\text{true}\}:=\{0,1\}=\{\text{no},\text{yes}\}.\]

| | | | | created: 2014-06-22 13:55:11 | modified: 2020-04-20 19:37:54 | by: bookofproofs

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)