In formal logic, a boolean variable is a that can take on one of only two possible values: “ ” or “ ”. Propositions can then be said to to one of these two values, in the same way that ordinary expressions evaluate to a number.
Also as in algebraic expressions, boolean values can be manipulated using certain operators such as, , , and . This field is called, surprisingly, .
Mathematics is the study of numbers and other ideal objects that can be described by axioms.