Definition:Top (Logic)/Boolean Interpretation

 Let $\top$ denote the top constant in propositional calculus. There is only one boolean interpretation for $\top$:
 * $v \left({\top}\right) = T$

where $T$ symbolises true.