論理学は難しい、らしい。

気が付けば、３が日ももうおしまい。あしたからは、普通のサラリーマンに戻ります。

昨年は３１日までお仕事させていただいて、何とか無事年を越せました。ほんとによい会社です。少しブラックです。でも、３日までお休みいただけたので、まあライトグレーでしょうか。

３が日は、慶應通信の正規課程のことは、すっぱり忘れて過ごしていました。

そんなわけで、この３日間は普段やらないことを、ということで論理学というものを少し調べてみました。

私は、仕事ではわりと真理値表を書いたりとかしてたんですが （あっ、世の中には真理値表書いたりする仕事もあるんですよ、そればっかりではないですけどね） こんな感じになればよいな、という真理値表を書いて、そこからそうなるための論理式を導き出して、てな流れなんです。

ですが、これまで論理学を勉強したことはなかったんです。。。

ほかの方たちのブログを読んで、論理学はどうも難しいらしいというので、こういう時間のあるときにちょっとどんな感じか見てみよう！と、軽い気持ちで、こちらを↓

文庫本で論理学を学べる時代が来ていました！


で、理解できたかどうかというと、、、まあ、それはそれです。

でも、命題論理に比べて述語論理の証明は格段に難しい、ということはわかりました。

けっこう楽しい寄り道だったのですが、あしたからはちゃんと法学部の勉強に戻ります。



------------------------
にほんブログ村 通信大学生