¬¬¬A ⇒ ¬A 古典主義から公理が減っている分、証明できる論理式が少なくなっているが、さらにその中に二重否定が外せるようなお行儀のよい論理式とそうでないのがいるから3種類に分けられる感じが。 といったことをごちゃごちゃ考えていたらしい。

船曳建夫先生は「東大のテニサーは従軍慰安婦と同じ構造を持つ」と述べて、問題になったらしいが、ようやく問題発言だということを理解した。うん。