Category:Boolean Interpretations
Jump to navigation
Jump to search
This category contains results about Boolean Interpretations.
Definitions specific to this category can be found in Definitions/Boolean Interpretations.
Let $\LL_0$ be the language of propositional logic, with vocabulary $\PP_0$.
A boolean interpretation for $\LL_0$ is a propositional function:
- $v: \PP_0 \to \set {\T, \F}$
Subcategories
This category has the following 2 subcategories, out of 2 total.
F
- Finished Set Lemma (2 P)
T
Pages in category "Boolean Interpretations"
The following 13 pages are in this category, out of 13 total.