「形式邏輯筆記/第二章」修訂間的差異

於 2022年2月4日 (五) 14:52 的修訂

第二章命題邏輯 (sentential logic)

大寫字母（A, B, C...）代表命題

考慮下列三段式演繹推理：

A: 有蘋果

B: 有蘋果，小明就拿到板上

C: （所以）小明拿到班上

但若是把這樣的論述，寫成下方的話：

A

B

∴C

我們會以爲B和A與B和C沒有任何關聯性，但其實這不對，因為B的命題（有蘋果，小明就拿到板上）裏面，包含A（有蘋果）和B（小明拿到班上）。

因此，應該要這樣寫：

A

A→C

∴C

這裏就用到連詞(connective)了。

於 2022年2月4日 (五) 14:50 的修訂（檢視原始碼） Tankianting（討論 \| 貢獻）（→‎2.2連詞 (connectives)） ← 較舊編輯		於 2022年2月4日 (五) 14:52 的修訂（檢視原始碼） Tankianting（討論 \| 貢獻）較新編輯 →
行 1：		行 1：
			{{Nav\|程式語言、邏輯學\|形式邏輯筆記}}

	第二章命題邏輯 (sentential logic)		第二章命題邏輯 (sentential logic)