In logic, a system exhibits bivalence if all singleton variables can only be true or false.

This principle is also known as Aristotle's principle of the excluded middle.

Log in or registerto write something here or to contact authors.