Ibn Sīnā proposed an analysis of arguments by reductio ad absurdum. His analysis contains, perhaps for the first time, a workable method for handling the making and discharging of assumptions in a formal proof. We translate the relevant text of Ibn Sīnā and put his analysis into the context of his general approach to logic.