ThmDex – An index of mathematical definitions, results, and conjectures.
Formulation F11898 on D5911: Sensitivity
F11898
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}