19/12/29 21:15:54.69 oYsVvlLk.net
>>308
>>305
＞それは示したい命題を背理法で示したことにならない
で書いてあることは誤りだ。仮定して数学的に正しい論理を積み重ねた上で、
矛盾が生じれば、背理法の証明になる。
何もゴミではない
19/12/29 21:15:54.69 oYsVvlLk.net
>>308
>>305
＞それは示したい命題を背理法で示したことにならない
で書いてあることは誤りだ。仮定して数学的に正しい論理を積み重ねた上で、
矛盾が生じれば、背理法の証明になる。
何もゴミではない