(греческое «вывод») логический вывод, основанный на невозможности противоречащего положения, так как оно приводит к абсурду