Boolean logic
Proposition
A statement with a truth value.
Definition
Proposition
A proposition is a complete statement that is true or false under a given interpretation.
Logic combines propositions with operations such as and, or, and not. Formal systems may represent propositions as Boolean terms or as types whose values are proofs.
01
Example
'Seven is prime' is a proposition. 'Seven plus' is not complete enough to have a truth value.
02
Important distinction
A formula with an unassigned free variable may not be a proposition until an assignment or quantifier fixes that variable.
After reading this article, you should be able to
- Define Proposition in the sense used on this site.
- Recognize which expressions are complete propositions.