日記の練習です。
論理学、昨日、帰り道寄り道してちょっとやってた。
量化(「すべての」「少なくとも一つ」)の章で、量化子(∀, ∃)、個体変項(x, y, z)の順番、スコープの話になってて、ページをめくると「翻訳」とあった。思わぬところで「翻訳」に出会う。
日記の練習です。
論理学、昨日、帰り道寄り道してちょっとやってた。
量化(「すべての」「少なくとも一つ」)の章で、量化子(∀, ∃)、個体変項(x, y, z)の順番、スコープの話になってて、ページをめくると「翻訳」とあった。思わぬところで「翻訳」に出会う。
powered by hatena blog.
the nikki system for lifelogging junkies.
all posts © their original owners.
writing is reusable solely under the by creative commons license.