Skip to main content

20220828

やったこと #

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

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

学び #

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