Протиставлення– це логічна операція, в ході якої одночасно здійснюється і перетворення, і обернення в тієї або іншої послідовності, тобто одночасно змінюється якість судження, предикат вихідного судження замінюється на отриманий у результаті його заперечення і суб'єкт і предикат міняються місцями.
Протиставлення предикатуполягає в тому, що судження спочатку перетворюється, а потім обертається і в результаті суб'єкт вихідного судження стає предикатом висновку, суб'єктом висновку виступає поняття, що суперечить предикату вихідного судження (засновку), а зв'язка міняється на протилежну.
Протиставлення предикату в простих судженнях А, I, Е, О, яке відбувається за формулами:
(А→Е) А Усі S є P→ Е Жодне не-Р не є S («Усі інженери є фахівцями з вищою технічною освітою» → «Жоден, хто неспеціаліст з вищою технічною освітою, не є інженером»).