Category:Examples of Solution Sets

From ProofWiki
Jump to navigation Jump to search

This category contains examples of Solution Set.

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

The fiber of truth (under $P$) is the preimage, or fiber, of $\T$ under $P$:

$\map {P^{-1} } \T := \set {x \in X: \map P x = \T}$

That is, the elements of $X$ whose image under $P$ is $\T$.

Pages in category "Examples of Solution Sets"

The following 4 pages are in this category, out of 4 total.