(лог.) — один из видов логического доказательства; состоит в перечислении всех частных случаев какого-либо общего положения, за исключением одного, и в доказательстве неприменимости их к требуемому выводу; в результате получается уверенность, что случай, оставшийся после исключения всех других, и есть искомый. Метод И. есть доказательств