Способ рассуждения, при котором новое положение выводится чисто логическим путём от общих положений к частным выводам.