Для обозначения науки этот термин ввел в начале III в. до н. э. основатель стоического направления в философии Зенон из Китиона (ок. 336–264 до н. э.).
Умозаключение – такая логическая операция, результатом которой становится новое утверждение – заключение (следствие), полученное из одного или нескольких утверждений (посылок).
Логика – наука о правилах мышления, изучающая мышление как средство познания, и о законах мыслительных процессов, направленных на обнаружение и обоснование истины.
Как правило, дедукция настолько сокращается, что о ней остается только догадываться, и восстановить ее полностью, с указанием всех необходимых элементов и их связей, бывает нелегко.