Assertion: logic's theorem | /r/CapableOf | subsume theorem
Facets:
value: as a special case
type: MANNER
Source sentences:
text: First of all, note that this theorem subsumes Theorem 1 as a special case: if \(P(\gamma) = 1\) for all \(\gamma\in\Gamma\), then \(U(\gamma)=0\) for all \(\gamma\in\Gamma\), so \(U(\phi)\leq \sum U(\gamma)
text: Theorem 4 subsumes Theorem 2 as a special case: if all premises are relevant (i.e. have degree of essentialness 1), then Theorem 4 yields the same upper bound as Theorem 2.