(лат. іпсіисі.ю — наведення) — логічний умовивід від частково¬го, одиничного до загального.