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 register to write something here or to contact authors.