Рассуждение, при котором из двух противоположных предположений вытекает одно и то же следствие, так что, какое бы из них ни принять, результат неизбежно одинаков.