 Theorem 4. Consider a valid argument \((\Gamma,\phi)\). Then the uncertainty of the conclusion \(\phi\) cannot exceed the weighted sum of the uncertainties of the premises \(\gamma\in\Gamma\), with the degrees of essentialness as weights. Formally: 