<刁鑽邏輯> 沈源有 2025.0923

<刁鑽邏輯> 沈源有 2025.0923

刁鑽之人, 不如 刁鑽刁鑽之人.

刁鑽刁鑽之人, 不如 刁鑽地刁鑽刁鑽之人.

於是我理解 遞推演繹 邏輯.

他不比你帥, 你不比我帥, 所以他不比我帥.

(A<B)∧(B<C)⟹(A<C)

凡刁鑽之人, 必有刁鑽之處(寫刁鑽).

刁鑽至極的我, 就寫得極致刁鑽.

於是我理解 三段論 邏輯.

人要食, 我是人，所以我要食.

大前提, 小前提, 得到推論.

(S⊆M)∧(M⊆P)⟹(S⊆P)

刁鑽之文字, 必是刁鑽之人所作.

若非刁鑽之人, 怎寫得如此刁鑽.

於是我理解 逆否命題 邏輯.

人要食, 即是 不要食的不是人

若 P 則 Q, 即是 ~Q 則 ~P.

If P, then Q. ⟺ If not Q, then not P

(P⟹Q)⟺(¬Q⟹¬P)

只有更刁鑽, 沒有最刁鑽。

於是我理解 微積分：無窮大 ∞.

能說出來的數都不是無限大。

你給定任何數，我都可以找到至少一個更大的數。

對所有實數 x，都存在一個 y，使得 y > x。

∀x∈R,∃y∈R,(y>x)