# Definition:Top (Logic)/Boolean Interpretation

Let $\top$ denote the top constant in the language of propositional logic.
There is only one boolean interpretation for $\top$:
$v \left({\top}\right) = T$
where $T$ symbolises true.