背理法、P を前提にして矛盾を導いて ¬P を言うっていう理解が多すぎると思うんだけど、 こんなもんまで問題にするのはそれこそ問題であって、これは否定の導入だとか含意の導入だとか言えばいい。ここらへんまで認めないのは直観主義よりもさらにアレなので…

GWいろいろ忙しかった話くらい書こうかなと思ったけどなんとなく気がむかないので放置してた。タイトルは Boy's Surface からの引用。アルフレッド・レフラーの言葉。なかなか味があるので使わせていただいた。で、今回は Boy's Surface について感想とかい…