2章は長くなったので二回に分けて、後半を書くとしよう。前半は日本語の命題を論理式に書き直すことを勉強したが、後半からはいよいよ人工言語を0から作っていく試みになる。 この教科書で作るのは「人工言語Ｌ」と呼ぶことなる。Ｌはもちろんロジックのエル…

なんかが育つのでしょうか？もったいないからマネしてはいけません。まったく関係ないけど、今日は久しぶりデートでそしてタイ米を食べました。