Definition:Bottom (Logic)/Boolean Interpretation

From ProofWiki
Jump to navigation Jump to search

Definition

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


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

$v \left({\bot}\right) = F$

where $F$ symbolises false.


Sources