集合論ちょっと練習
F(a) は 「a が animal である」という命題として。
∃dog, F(dog) … there is exists dog that is animal. animal である dog が(少なくとも一つ)います
∃dog, ¬F(dog) … there is exists dog that is not animal. animal でない dog が少なくとも一ついます
∀dog, F(dog) … all dog are animal. … dog はすべて animal です
∀dog,¬F(dog) … all dog are no animal. … dog はすべて animal ではありません
適当英語だけど。
プログラミングやってても英語覚えると見方が変わったんだよね(いや、がんばって読めるって程度だけれど)。ほんと英語から作られてるんだなって感じがする。個人的に、西洋から発してる学問って英語ができたほうが理解が進むんじゃないかと思う。
これって最近流行りの日本語が滅びるときとかにかかわるんだろうか。あれまだ読んでないんだよな。