where $l$ and $u$ are the lower and upper probability bounds, while $\phi$ and $\psi$ denote propositional logic formulas. For example the following two sentences ...
Studies axioms, counting formulas, conditional probability, independence, random variables, continuous and discrete distribution, expectation, moment generating functions, law of large numbers, ...