Вывод альтернативный

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