0.99999……は１ではない その９

[0757 １３２人目の素数さん 2020/06/03(水) 22:56:58.39 ID:yBp8nL2R]

>>746
君は背理法をわかっていないようだね
君はずっと同じことを言っている

¬¬R→R

恒偽命題と偽の命題は異なるという主張に対して
君はずっと二重否定の話をしている

R→(¬R→R)

これでは話にならない

君さ
背理法を記号化してみて
どう書ける？