Probabilistic proposition (source code)

= Probabilistic proposition
{wiki=Probabilistic_proposition}