Talk:Proof by Contradiction/Explanation

PbC does not use LEM. You are confusing this with Reductio ad Absurdum.