Сделайте выводы из следующих суждений путем противопоставления предикату.
Пример:
«Некоторые сотовые телефоны не являются качественными».
Определяем структуру исходного суждения: Некоторые ( 
) сотовые телефоны (S) не являются (связка) качественными (Р). Суждение типа О.
Противопоставление предикату предполагает изменение качества связки, превращение субъекта исходного суждения в предикат итогового суждения. Субъектом итогового суждения становится понятие, противоречащее предикату исходного суждения.
Схема преобразования: ( S не есть Р) 
( не Р есть S)
Вывод: Некоторые ( ) некачественные вещи (S) являются (связка) сотовыми телефонами (Р). Суждение типа I.
а) Большинство тарифных планов не являются корпоративными.
б) Ни один студент не является школьником.
в) Иногда существительные не склоняются.
г) «Все счастливые семьи похожи одна на другую».
8.8. Проверьте правильность умозаключений путем противопоставления предикату. В неправильных умозаключениях сделайте правильный вывод.
Пример:
«Все экзаменаторы объективны. Ни один субъективный человек не является экзаменатором».
Определяем структуру исходного суждения, приведя его к канонической форме: Все ( 
) экзаменаторы (S) являются (связка) объективными (Р). Суждение типа А.
Определяем структуру вывода, приведя его к канонической форме: Ни один ( ) субъективный человек (S) не является (связка) экзаменатором (Р). Суждение типа Е.
Противопоставление предикату совершено правильно, общеутвердительное суждение преобразовано в общеотрицательное, смысл исходного суждения эквивалентен смыслу вывода.
а) Каждый адвокат имеет юридическое образование. Некоторые имеющие юридическое образование не являются адвокатами.
б) Все тюлени – ластоногие животные. Ни одно не ластоногое животное не является тюленем.
в) Березовая роща не является смешанным лесом. Любой смешанный лес не является березовой рощей.
г) Некоторые слоны не живут в Африке. Некоторые не живущие в Африке являются слонами.
8.9. Сделайте вывод путем противопоставления предикату, сформулировав исходное суждение в явной логической форме.
Пример:
Металлы не растворяются в воде.
Каноническая форма исходного суждения: Ни один ( ) металл (S) не является (связка) тем, что растворяется в воде (Р). Суждение типа Е.
Противопоставление предикату предполагает, что суждение типа Е преобразуется в суждение типа I.
Вывод: Некоторые ( ) вещества, не растворимые в воде (S), являются (связка) металлами (Р).
а) Люди не живут на Марсе.
б) Каждый человек желает добродетели.
в) Есть такие хищные животные, которые не поддаются дрессировке.
д) Большинство водителей такси – мужчины.
8.10. Определите разновидность и проверьте правильность следующих непосредственных силлогизмов.
Пример:
«Ни один человек не является беспристрастным. Все пристрастные существа являются людьми».
Определяем структуру и тип исходного суждения.
Ни один ( ) человек (S) не является (связка) беспристрастным (Р). Данное суждение общеотрицательное (суждение типа Е).
Все ( ) пристрастные существа (S) являются (связка) людьми (Р). Данное суждение общеутвердительное (суждение типа А).
Данный непосредственный силлогизм – противопоставление предикату, поскольку субъектом вывода стал термин, противоречащий предикату исходного суждения, и поменялось качество связки.
Однако, противопоставление предикату совершено неправильно, поскольку исходное суждение типа Е должно быть преобразовано в суждение типа I.
Правильный вариант данного противопоставления предикату: Некоторые пристрастные существа являются людьми (суждение типа I).
а) Все повествовательные предложения выражают суждения. Некоторые из предложений, выражающих суждения, являются повествовательными.
б) Некоторые интеллигенты занимаются бизнесом. Некоторые бизнесмены являются интеллигентами.
в) Ни одно преступление не является нравственным. Некоторые безнравственные поступки являются преступлениями.
г) Все бизнесмены занимаются благотворительностью. Все люди, занимающиеся благотворительностью, являются бизнесменами.
д) Все бизнесмены занимаются благотворительностью. Ни один из тех, кто не занимается благотворительностью, не является бизнесменом.