# Category:Boolean Interpretations

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 only the following subcategory.

## Pages in category "Boolean Interpretations"

The following 13 pages are in this category, out of 13 total.