Рассуждение, доказывающее, что два высказывания, являющиеся отрицанием друг друга, вытекают одно из другого.