Probabilistic propositions