різновид умовиводу, в якому рух міркувань здійснюється від загального засновку до одиничного висновку

різновид умовиводу, в якому висновок здійснюється на основі встановлення схожості, подібності предметів в певному відношенні

завжди логічно необхідний висновок