Definition:Bottom (Logic)/Boolean Interpretation
Jump to navigation
Jump to search
Definition
Let $\bot$ denote the bottom constant in the language of propositional logic.
There is only one boolean interpretation for $\bot$:
- $\map v \bot = \F$
where $\F$ symbolises false.
Sources
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $2$: Propositional Calculus: $\S 2.3$: Boolean interpretations: Figure $2.7$
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.3.3$