# 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}$

## Pages in category "Boolean Interpretations"

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