Суждение. Логический квадрат

Для того чтобы получить суждение, частично совпадающее с данным, нужно построить логический квадрат с четырьмя основными суждениями. В логическом квадрате представлены четыре формы суждений:

Все S являются P (Утвердительное всеобщее суждение).
Некоторые S являются P (Утвердительное частное суждение).
Все S не являются P (Отрицательное всеобщее суждение).
Некоторые S не являются P (Отрицательное частное суждение).
Исходное суждение: «Некоторые мужчины служили в армии» — это утвердительное частное суждение, которое можно записать так:

Некоторые мужчины являются теми, кто служил в армии.
Для частичного совпадения с этим суждением, можно рассмотреть следующие варианты:

Некоторые мужчины не служили в армии — это отрицательное частное суждение.
Все мужчины служили в армии — это утвердительное всеобщее суждение, которое частично совпадает с исходным суждением, так как включает в себя часть из "некоторые".
Некоторые мужчины являются не служившими в армии — это отрицательное частное суждение.
Вы можете выбрать любое из этих суждений в зависимости от того, как именно вы хотите изменить исходное суждение.