20220828

やったこと

• みなとみらいでコーヒー豆を買った。

• ゼロからの論理学を読み進めた

学び

• ∀X∃yFxyと∃y∀xFxyは区別する必要がある。
  • ∀X∃yFxyは全てのxについてあるyが存在する。
  • ∃y∀xFxyは全てのxがFxyなyが存在する。
  • 議論領域を人間、Fxyの関係述語をxは愛を愛していると解釈すると
    • ∀X∃yFxyは全ての人間は愛している人が存在する。
    • ∃y∀xFxyは全ての人間が愛しているあるyさんが存在する。