Category:Precisely One Function
Jump to navigation
Jump to search
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.