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

ЭСБЕ:Логика