 Theorem 2. Consider a valid argument \((\Gamma,\phi)\) and a probability function \(P\). Then the uncertainty of the conclusion \(\phi\) cannot exceed the sum of the uncertainties of the premises \(\gamma\in\Gamma\). Formally: 