Безпосередній висновок в традиційній логіці, висновок з однієї посилки або (в Арістотеля ) вивід з аксіом або з посилки, «якою не передує жодна інша». Теорія Н. в. (у будь-якому з вказаних сенсів) безпосередньо не підпадала під компетенцію силлогистіки, проте вважалося, що вона повинна у відомому сенсі передувати останньою. Втім, саме в цьому питанні традиційна логіка виявлялася «недостатньо формальною»: правила Н. в. часто обгрунтовувалися засланням на (змістовну) «очевидність», а в так званому «ученні о Н. у.» істотну роль грали поняття на зразок «прихованого значення думки». З точки зору сучасної формальної (математичною) логіки число посилок висновку взагалі не може бути скільки-небудь істотною його характеристикою, оскільки будь-яке (кінцеве) число посилок завжди можна замінити однією формулою — їх кон'юнкцією . Інколи в сучасній логіці Н. в. називається висновок, посилки і висновок якого зв'язані однократним вживанням якого-небудь правила виведення, тобто відношенням «безпосередньої виводимості». Але і це поняття не можна визнати істотним для логіки, оскільки довжина виводу (навіть при фіксованих посилках і висновку) не є його «інваріантом»: вона залежить від способу завдання даного логічного числення (хоч би цей спосіб завдання і не впливав на дедуктивну силу числення).
