V Пример. Всякий S есть P («Все слова — знаки»)

Всякий S есть P («Все слова — знаки»)

^{___________________________________________________________________________________}

Всякий S не есть не-P («Ни один не знак не является словом»).

Всякий S не есть P («Ни один материалист не является идеалистом»).

^{__________________________________________________________________________________________________}

Некоторый не-P есть S («Некоторые из не идеалистов — материалисты»).

Некоторый S не есть P («Некоторые люди не являются счастливыми).

^{_____________________________________________________________________________________________}

Некоторый не-P есть S («Некоторые несчастные являются людьми»).

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

Противопоставлением субъекту (контрапозицией субъекту) называется такое непосредственное умозаключение, при котором заключение получается посредством последовательного обращения и превращения посылки.

Развёрнутая схема противопоставления субъекту:

S есть P.

^___________

P есть S.

^{___________________}

P не есть не-S.

Свёрнутая схема противопоставления предикату:

S есть P.

^{___________________}

P не есть не-S,

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