b ― 간접 반증 의 절차 는 다음 과 같 다 . 먼저 상대방 이 주장 하 는 , 즉 반박 해야 할 명제 를 임시 적 으로 진리 라고 가정 한다 . 그리고 이미 참으로 공인 된 또 다른 제 2 명 제 를 앞서 진리 로 가정 한 명제 와 함께 전제 조건 으로 묶 은 후 이 를 통해 추론 한다 . 만약 이렇게 얻 어 진 추론 을 실제 상황 에 대입 시켰 을 때 일반 적 인 사실 과 모순 된다든지 , 혹은 진리 로 가정 한 명제 의 존립 근거 인 사상 의 본질 에 위배 된다든지 , 또는 상대방 이 자신 이 주장 하 는 명제 가 참 이 라는 점 을 증명 하 기 위해 내세웠 던 별개 의 주장 및 근거 들 과 합치 될 수 없 음 이 판명 되 면 자연히 결론 또한 거짓 이 었 다는 점 이 밝혀 지 게 된다 .