Boolean value in the context of "An Investigation of the Laws of Thought"

In mathematics, an expression is an arrangement of symbols following the context-dependent, syntactic conventions of mathematical notation. Symbols can denote numbers, variables, operations, and functions. Other symbols include punctuation marks and brackets, used for grouping where there is not a well-defined order of operations.

Expressions are commonly distinguished from formulas: expressions usually denote mathematical objects, whereas formulas are statements about mathematical objects. This is analogous to natural language, where a noun phrase refers to an object, and a whole sentence refers to a fact. For example, ${\displaystyle 8x-5}$ and ${\displaystyle 3}$ are both expressions, while the inequality ${\displaystyle 8x-5\geq 3}$ is a formula. However, formulas are often considered as expressions that can be evaluated to the Boolean values true or false.

In computer science, a Boolean expression (also known as logical expression) is an expression used in programming languages that produces a Boolean value when evaluated. A Boolean value is either true or false. A Boolean expression may be composed of a combination of the Boolean constants True/False or Yes/No, Boolean-typed variables, Boolean-valued operators, and Boolean-valued functions.

Boolean expressions correspond to propositional formulas in logic and are associated to Boolean circuits.