Talk:Probabilistic proposition