反证法的逻辑根据是（）律。因此，在运用反证法时要求反论题非p与原论题p之间是（）关系。