Convergent Deduction for Probabilistic Logic