Desktop

以下看起來很像是數學方程式的東西, 其實是哲學的一個很著名的論證 “蘇格拉底會死”, 用邏輯的符號和運算來表現出來 $$M(S)\wedge \forall x(M(x)\to D(x))\vdash D(S)$$ S=Socrates, a specific individualx=Any individual M(x)=True if x is a man, False otherwiseD(x)=True if x will die, False otherwise 以上可以拆解爲三部分如下: $$蘇格拉底是人\quad\quad M(S)=True$$$$人皆會死\quad\quad \forall x(M(x)\to D(x)) =True$$$$所以蘇格拉底會死\quad\quad D(S)=True$$

It’s now 2 in the morning. I’m staying up, on the couch, at home, in my comfort zone with TV on (not watching) and fan on. Too much coffee during the day I think. Anyway, not feel like going to sleep right now. Even I have tons to do tomorrow. Need to brush up my…