気が付けば、3が日ももうおしまい。あしたからは、普通のサラリーマンに戻ります。
昨年は31日までお仕事させていただいて、何とか無事年を越せました。ほんとによい会社です。少しブラックです。でも、3日までお休みいただけたので、まあライトグレーでしょうか。
3が日は、慶應通信の正規課程のことは、すっぱり忘れて過ごしていました。
そんなわけで、この3日間は普段やらないことを、ということで論理学というものを少し調べてみました。
私は、仕事ではわりと真理値表を書いたりとかしてたんですが (あっ、世の中には真理値表書いたりする仕事もあるんですよ、そればっかりではないですけどね) こんな感じになればよいな、という真理値表を書いて、そこからそうなるための論理式を導き出して、てな流れなんです。
ですが、これまで論理学を勉強したことはなかったんです。。。
ほかの方たちのブログを読んで、論理学はどうも難しいらしいというので、こういう時間のあるときにちょっとどんな感じか見てみよう!と、軽い気持ちで、こちらを↓
文庫本で論理学を学べる時代が来ていました!
で、理解できたかどうかというと、、、まあ、それはそれです。
でも、命題論理に比べて述語論理の証明は格段に難しい、ということはわかりました。
けっこう楽しい寄り道だったのですが、あしたからはちゃんと法学部の勉強に戻ります。
------------------------
にほんブログ村 通信大学生