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