Definition:Fiber of Truth/Solution

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $S = \set {x \in X: \map P x = \mathrm 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$.


Sources