– мислений процес, в ході якого з одного чи кількох суджень, що називаються засновками, виводиться нове судження.