Безпосередніми називаються умовиводи, в яких висновок отримують із одного засновку. Вони базуються на перебудові логічної структури суджень.
Опосередкованими умовиводами називаються такі умовиводи, в яких висновок отримують із двох і більше засновків.
Перетворенням називається така логічна операція, внаслідок якої судження стає судженням, рівнозначним за змістом вихідному, але іншим за якістю:
S є Р
S не є не Р
Оберненням називається така логічна операція, коли суб`єкт вихідного судження стає предикатом, а предикат – суб`єктом вихідного судження:
S є Р
Р є S
Протиставленням предикату називається висновок такого нового судження, суб`єктом котрого є поняття, що суперечить предикату вихідного судження, а предикатом – суб`єкт вихідного судження: