Definition:Boolean Interpretation/Formula
< Definition:Boolean Interpretation(Redirected from Definition:Partial Boolean Interpretation of Formula)
Jump to navigation
Jump to search
Definition
Let $\LL_0$ be the language of propositional logic.
Let $v: \LL_0 \to \set {\T, \F}$ be a (partial) boolean interpretation.
Let $\phi$ be a WFF of propositional logic.
Then $v$ is called a boolean interpretation for $\phi$ if and only if $v$ is defined at $\phi$.
Otherwise, $v$ is called a partial (boolean) interpretation for $\phi$.
Sources
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.2.1$: Definition $2.15$
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2.2.1$: Definition $2.18$