В логике это выглядит так А=Б а Б=В => А=В. Люди — смертны; Сократ — смертен; Сократ — человек.
Абдуктивные рассуждения чаще всего используются для открытия эмпирических законов, которые устанавливают необходимые регулярные связи между наблюдаемыми свойствами и отношениями явлений.