以下看起來很像是數學方程式的東西, 其實是哲學的一個很著名的論證 “蘇格拉底會死”, 用邏輯的符號和運算來表現出來
$$M(S)\wedge \forall x(M(x)\to D(x))\vdash D(S)$$
S=Socrates, a specific individual
x=Any individual
M(x)=True if x is a man, False otherwise
D(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$$
做這道菜最重要的就是要用唐芹，而不是用西芹 In making this dish, make sure you pick up Tang Celery, a specific kind of Chinese celery, not the everyday celery you find in the store.
$$\int_{0}^{10} x^{3}+2x^{2}+1 =?$$ $$\forall xP(x) \vdash P(X)$$ $$M(S)\wedge \forall x(M(x)\to D(x))\vdash ?$$
\[ \begin{array}{c|c|c} p & q & p \land q \\ \hline T & T & T \\ T & F & F \\ F & T & F \\ F & F & F \end{array} \]
