Definition:Fiber of Truth/Solution

Definition
Let $P: X \to \set {\T, \F}$ be a propositional function defined on a domain $X$.

Let $S = \set {x \in X: \map P x = \T}$ be the fiber of truth (under $P$).

Then an element of $S$ is known as a solution of $P$.

This terminology is usual when $P$ is an equation in the context of algebra.

Also known as
A solution of $P$ can also be seen (including on ) as a solution to $P$.