Definition:Top (Logic)/Boolean Interpretation

Definition

Let $\top$ denote the top constant in the language of propositional logic.

There is only one boolean interpretation for $\top$:

$\map v \top = \T$

where $\T$ symbolises true.

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$