Definition:Fiber of Truth/Solution

From ProofWiki
Jump to navigation Jump to search


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 $\mathsf{Pr} \infty \mathsf{fWiki}$) as a solution to $P$.