Безпосередні умовиводи - це вид дедуктивних умовиводів, у яких з одного судження (засновку) за певними правилами виводять нове судження (висновок).

Це дедуктивні умовиводи, що мають лише один засновок.

За способом отримання висновків розрізняють такі види безпосеред­ніх умовиводів:

• перетворення;

• обернення;

• протиставлення предикату;

• протиставлення суб’єкту;

• умовиводи за логічним квадратом.

Висновки за безпосередніми умовиводами позначаються стрілкою (→).

2.1.