Definition:Bottom (Logic)/Boolean Interpretation

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$