Извод - это результат последовательного вывода, выведение чего-либо из чего-либо, в частности, логическое выведение из предыдущих или более общих предположений. Термин извод используется в логике и математике для описания логического процесса вывода заключения из предпосылок.