что такое дедукция?

переход от общего к частному

Фирменный алгоритм Холмса - движение от следствий к причинам, как бы по времени вспять.

Дедукция (лат. deductio —
выведение) — метод мышления, при котором частное положение логическим
путём выводится из общего, вывод по правилам логики; цепь умозаключений
(рассуждений) , звенья которой (высказывания) связаны отношением
логического следования.
Началом (посылками) дедукции являются аксиомы или просто гипотезы, имеющие характер общих утверждений («общее») , а концом — следствия из посылок, теоремы («частное») . Если посылки дедукции истинны, то истинны и её следствия. Дедукция — основное средство доказательства.

Кстати, у Холмса как раз не дедукция, а индукция, где из частного (набор улик) выводится общее (обвинение).