$$\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 ?$$
$$\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 ?$$
以下看起來很像是數學方程式的東西, 其實是哲學的一個很著名的論證 “蘇格拉底會死”, 用邏輯的符號和運算來表現出來 $$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$$
做這道菜最重要的就是要用唐芹,而不是用西芹 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.
\[ \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} \]