二種類の背理法

「Aでない」ことを示すために、Aを仮定して矛盾を導くもの

「Aである」ことを示すために、「Aでない」ことを仮定して矛盾を導くもの

こちらが、直観主義論理的に問題のある推論

違いがよくわからん

背理法による証明例

参考

『論理の哲学』 5章