Сделайте противопоставление предикату следующего суждения. «Не все имеют высшее образование».

Данное суждение по объединённой классификации относится к типу О, частноотрицательное. Логическая форма: Некоторые S не есть Р: «Некоторые люди (S) не есть лица, имеющие высшее образование (Р)». Предикат – лица, имеющие высшее образование.
Схема противопоставления предикату:
О: Некоторые S не есть Р.
I: Некоторые не-Р есть S.
Выражение на естественном языке:
Некоторые люди(S-) не есть лица, имеющие высшее образование(Р+).
Некоторые лица, не имеющие высшего образование(не-Р-), – люди(S+).
А некоторые – не люди? Возможно есть ошибка . Ведь частноотрицательные суждения бывают двух видов, когда объемы терминов перекрещиваются и когда подчиняются.
Сделаем проверку. Противопоставление предикату можно рассмотреть, как результат двух логических операций: превращение с последующим обращением полученного при превращении