Probability

Probability[pred,xdist] gives the probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution dist.

Probability[pred,xdata] gives the probability for an event that satisfies the predicate pred under the assumption that x follows the probability distribution given by data.

Probability[pred,{x1,x2,…}dist] gives the probability that an event satisfies pred under the assumption that {x1,x2,…} follows the multivariate distribution dist.

Probability[pred,{x1dist1,x2dist2,…}] gives the probability that an event satisfies pred under the assumption that x1, x2, … are independent and follow the distributions dist1, dist2, ….

Probability[pred1pred2,…] gives the conditional probability of pred1 given pred2.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.