На этой странице два определения одного и того же, причем одно из них (как я понял) противоречит другому.

Если перед нами два утверждения А и В, и результат в утверждении В является подгруппой результата в утверждении А, а условия идентичные, то утверждение А следует из утверждения В

внизу страницы:
Если перед результатом в утверждении "А" находится слово "Все", а результат в утверждении В является подгруппой результата в утверждении А и условия обоих утверждений идентичны, то в этом случае утверждение В следует из утверждения А

спасибо