# Category:Precisely One Function

This category contains results about Precisely One Function.

Let $p_1, p_2, \ldots, p_n$ be statements.

The **precisely one function** is the propositional function $\map P {p_1, p_2, \ldots, p_n}$ defined as:

- $\map P {p_1, p_2, \ldots, p_n}$ is true if and only if
**precisely one**of $p_1, p_2, \ldots, p_n$ is true.

## Pages in category "Precisely One Function"

This category contains only the following page.