Definition:Fiber of Truth

From ProofWiki
Jump to: navigation, search

Definition

Let $\Bbb B = \left\{{T, F}\right\}$ be a boolean domain.

Let $f : X \to \Bbb B$ be a boolean-valued function.


The fiber of truth (under $f$) is the fiber or preimage of $T$ and can be denoted $ \left[\left|{f}\right|\right]$:

$ \left[\left|{f}\right|\right] = \left\{{x \in X: f \left({x}\right) = T}\right\}$


Comment

The phrase fiber of truth (with the same meaning)is occasionally seen in natural language.

In particular:

"... to extract the fiber of truth from this tissue of lies ..."

sounds as though it would be used in the context of the courtroom by a lawyer waxing rhetorical.

Personal tools
Namespaces
Variants
Actions
Navigation
ProofWiki.org
ToDo
Toolbox
Google AdSense