Если суждени "Некоторые S не есть Р" истинно, то

Суждение "Некоторые S не есть Р" истинно означает, что существует хотя бы один элемент S, который не является элементом Р.

Это эквивалентно тому, что суждение "Все S есть Р" ложно.

Следовательно, если "Некоторые S не есть Р" истинно, то "Все S есть Р" ложно.