Умозаключение дедуктивное (deduction conclusion) — последовательность умозаключений, в результате которой на основании уже имеющегося некоторого знания об исследуемых предметах, явлениях или процессах и их применения к ним общего правила, действующего в пределах данного множества (класса) предметов, явлений или процессов, получается новое знание о предмете, явлении или процессе.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]