Prelude by Bach

以下看起來很像是數學方程式的東西, 其實是哲學的一個很著名的論證 “蘇格拉底會死”, 用邏輯的符號和運算來表現出來 $$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$$