高階は気にせずに、1階だけで理論を作れば大抵うまくいくのは、ようするにモデルを作るときに「つぶせる」からですか? と lambda calculus 周りの本を読んでいて思った。

男でかつ女である、ではない。ならば、男でないか、または女でない。 がなんかだめっぽい。たしか、ドモルガンのひとつだけ成り立たないのだけど、これだっけ。 http://www-personal.engin.umich.edu/~hiroakin/OSSAN/h_math.html http://www-personal.engin…

未完