今日から暫くおやすみなので日記をつけていく

四国旅行 #

四国に旅行にでかけた。初日は徳島ラーメンと高松市の骨付き肉を食べた。うまかったので131831823点。

学び #

最近プログラミング言語の意味論の研究のために論理学を学びたくなったのでまったくゼロからの論理学を読んでいる。
今日読んでいて面白かったのは全称命題とその反対は同時に成り立つ可能性があるということ、つまり 全てのエンジニアはゲーマーである と 全てのエンジニアはゲーマーでない が両方とも真になることがありうるということ。

全てのエンジニアはゲーマーである から それゆえエンジニアは存在する は正しい演繹ではないので、全てのエンジニアはゲーマーであるというのはエンジニアが空集合であるというのも含まれている。論理学における全称では空集合も含んでいることを学んだ。

全てのエンジニアはゲーマーである と 全てのエンジニアはゲーマーでない が真だとして、エンジニアが存在すると仮定すると矛盾することになるので、エンジニアは存在しないことになる。エンジニアが存在しないならば命題はどちらも真となる。

明日 #

高知にいって鰹食べるぞo(^-^)o