Разделительное доказательство

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