Definition:Top (Logic)/Boolean Interpretation

From ProofWiki
Jump to navigation Jump to search

Definition

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.


Sources