那你告訴我 A跟B都成立是什麼意思，如果A、B是集合
當然你也可以說 ∧ 可以被 ad-hoc polymorphism 啦
但是他們指涉的 binary operator 的概念就不一樣啊
一個 Type 是 Set -> Set -> Set
你不能說他們是 a -> a -> a 因為這沒辦法被 parametric polymorphism
你有看到他是寫 「x ∈ A 且 x ∈ B」而不是 「A 且 B」 ㄇ
???????????????????????????????????????????????????????
\mathbf{N} \subset \mathbf{Z}
我是問你「或」在數學上跟字典上的定義一不一樣= =
好你現在知道為什麼就算能用敘述，有時候人們還是會比較喜歡集合論了ㄅ
其實用「是」還算沒問題，把集合論轉成敘述本來就會用到這個字
你只能把自然語言當作 meta language 來定義一些沒辦法被拆分的概念
(我現在覺得好難想，這個感覺不是一個正常人理解事物的方式
若是整數，則是自然數或非自然數且不同時為自然數與非自然數
對於所有命題，not ( A and (not A))
若是整數，則是自然數或非自然數；且所有自然數是整數
我如果寫
若 x 是整數，則 x 是自然數或非自然數
我發現問題ㄌ
我改成
若 x 是整數，則 x 是所有自然數或非自然數
我剛剛那句話「是所有自然數」就可以解讀成「是 所有自然數」、「是所有 自然數(的一種)」
中文會讓你看事物想要 top down 而不是 bottom up
雖然我看過更小的NUC，但是小機殼根本消耗品（故障了要找別的零件很難找）
但是，這樣的話我老覺得不如Intel NCU，或ASUS VivoMini VC65-C1之類的機器