ThmDex – An index of mathematical definitions, results, and conjectures.
▼ Set of symbols
▼ Alphabet
▼ Deduction system
▼ Theory
▼ Zermelo-Fraenkel set theory
▼ Set
▼ Binary cartesian set product
▼ Binary relation
▼ Map
▼ Simple map
▼ Simple function
▼ Measurable simple complex function
▼ Random simple number
▼ Random Boolean number
▼ Bernoulli random boolean number
▼ Bernoulli trial-test pair
Definition D5911
Sensitivity
Formulation 0
Let $B = (\text{State}, \text{Test})$ be a D5910: Bernoulli trial-test pair.
The sensitivity of $B$ is the D4767: Unsigned real number \begin{equation} \mathbb{P}(\text{Test} = 1 \mid \text{State} = 1) \end{equation}
Also known as
True positive rate