Compute probability of an event given a distribution.
与 .wl 参考的差异： `Probability` of a normal tail uses a different Erf form
Probability[pred, x \[Distributed] dist]
Probability[pred, x \[Distributed] data]
Probability[pred, {x1, x2, …}\[Distributed] dist]
Probability[pred, {x1 \[Distributed] dist1, x2 \[Distributed] dist2, …}]
Probability[pred1 \[Conditioned] pred2, …]
Probability[x > 1, x \[Distributed] {1, 2, 3}]
→ 2/3Probability[2 < x < 5, x \[Distributed] {1, 2, 3, 4, 5, 6}]
→ 1/3- Assumptions — default $Assumptions
- GenerateConditions — default False
- Method — default Automatic