今日は数理論理学の試験です。

問題としては∀x∃y[Ｐａ(x,y)∧￢Ｍａ(y)]≡⊥などと書かれている
量化記号を書き換えたり、それに当てはまるような日本語を書くような
問題が出されました。ちなみに、上記の量化記号を日本語に変換すると
「すべての父親に実の娘がいるとは限らない」となります。

基本問題が多かったので、なんとかなるかな…という手応えでした（＾＾；；
個人的に数理論理学が一番危なさそうだったのですが、先ほどにも
取り上げたような血族関係の基本問題が解けるようにはなったので
一安心です。

さて、今日は寝不足だったため午後は休息していました。
…
……しかし、気が付くと自分の体が揺さぶられているではないですか。
最初は誰かに起こされているかと寝ぼけて勘違いしていましたが、
（そもそも一人暮らしなので、ご丁寧な泥棒が入ってこない限り
　起こされることはありえないのですが）地震で揺さぶれていたようです。

神奈川は震度４となっていましたが、私の住んでいる地盤は固い所なので
揺れが少なく、ネットで調べたところ震度３でした。意外と余震も
３回くらいありましたね。せっかくの休息が台無しになって
しまいましたが、仕方ないです（＾＾；