数理論理学（オフィスアワー）

今度は導出方法を完全に機械的にやってしまう方法についての説明。しかし、こういうのは得てして手順がややこしくなる。先生も言っていたが、コンピュータにやらせるのにはいいが、人間がやるのには少し不向きかもしれないとのこと。たしかに。
そのあと少し演習。たしかにややこしいよぉ・・・。