Дедукция (deduction, deductive inference) — логический вывод, когда логическое заключение выводится из конкретного множества предпосылок.
Допустимый синоним: Дедуктивный логический вывод.
Примечание. Дедукцией является только сохраняющий истинность логический вывод.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]
Дедукция (deduction) — метод научного исследования, заключающийся в переходе от знания самых общих положений к знанию меньшей общности, частных положений. Д. — это форма мышления, для которой новое знание выводится чисто логическим путем из предшествующих знаний, возможно полученных в результате Д. Д. — это вывод по правилам логики, состоящий из цепи умозаключений, звенья которой связаны отношением логического следования; цепочки завершаются аксиомами, постулатами или гипотезами из посылок для теорем, лемм и вспомогательных утверждений.
[Словарь понятий по информатике от А до З. (Электронный ресурс). Режим доступа: http:// nsportal.ru›user/415987/page/slovar-kompyuternyh-…/, свободный.]
Дедукция (Deductive Reasoning) – это способ рассуждения и доказательства на основе перехода от более общих положений к частным, один из способов прогнозирования развития и изложения материала; эффективен, когда у исследователя уже накоплен определенный опыт и знания в изучаемой области.
[Чесалов А. Ю. Глоссариум по искусственному интеллекту: 2500 терминов/ А. Ю. Чесалов — «Издательские решения» 2022 г., 670 стр.]