Умозаключение – форма мышления, посредством которой из одного или нескольких высказываний (суждений) [предпосылок] по определённым правилам логического вывода получается новое знание о предметах реального мира [вывод].

Виды умозаключений:

Пример. "АК - биссектриса угла САВ, поэтому угол САК равен углу ВАК" - дедуктивное умозаключение, выведенное из общего определения биссектрисы угла.