OrderDistribution[{dist, n}, k] represents the k\[Null]^th-order statistics distribution for n observations from the distribution dist.OrderDistribution[{dist, n}, {k_1, k_2, ...

NProbability[pred, x \[Distributed] dist] gives the numerical probability for an event that satisfies the predicate pred under the assumption that x follows the probability ...

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