 Definition (Probability Measure). A credence function \(\Cr(\wcdot)\) is said to be probabilistic, also called a probability measure, if it is a real-valued function defined on an algebra \({\cal A}\) of propositions and satisfies the three axioms of probability: