# 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 $\mathcal L_0$ be the language of propositional logic, with vocabulary $\mathcal P_0$.

A **boolean interpretation** for $\mathcal L_0$ is a propositional function:

- $v: \mathcal P_0 \to \left\{{T, F}\right\}$

## Pages in category "Boolean Interpretations"

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