Definition:Boolean Interpretation/Truth Value
Jump to navigation
Jump to search
Definition
Let $\LL_0$ be the language of propositional logic.
Let $\PP_0$ be the vocabulary of $\LL_0$.
Let $\phi$ be a WFF of propositional logic.
Let $v: \LL_0 \to \set {\T, \F}$ be a boolean interpretation of $\phi$.
The truth value of $\phi$ under $v$ is $\map v \phi$.
Sources
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.2.1$: Definition $2.16$
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.2.4$: Definition $2.24$