13/03/24 23:15:22.94
>>160
形式的にも何も証明法としては完全に正しいよ
ただ、証明の仕方が直接的というより述語論理的で、高校までではあまり用いない論法だから
大学数学までやってれば難なくのみ込めるけど、それ以外の人には納得しずらいのかもしれない
13/03/24 23:15:22.94
>>160
形式的にも何も証明法としては完全に正しいよ
ただ、証明の仕方が直接的というより述語論理的で、高校までではあまり用いない論法だから
大学数学までやってれば難なくのみ込めるけど、それ以外の人には納得しずらいのかもしれない