вид опосредованного умозаключения, в котором из общего правила выводится частный случай; в дедукции рассуждение идёт от большего к меньшему, знание сужается, и поэтому её выводы достоверны.