「形式邏輯筆記/第二章」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） |
Tankianting（討論 | 貢獻） |
||
| 行 51： | 行 51： | ||
|- | |- | ||
| ↔ || 充要條件 || if and only if | | ↔ || 充要條件 || if and only if | ||
|} | |||
===¬否定=== | |||
{| class="wikitable" | |||
|+ ¬的真值表 | |||
|- | |||
! A !! ¬A | |||
|- | |||
| T || F | |||
|- | |||
| F || T | |||
|} | |} | ||
於 2022年2月4日 (五) 15:06 的修訂
第二章命題邏輯 (sentential logic)
2.1 命題字母
大寫字母（A, B, C...）代表命題
考慮下列三段式演繹推理：
A: 有蘋果
B: 有蘋果，小明就拿到板上
C: （所以）小明拿到班上
但若是把這樣的論述，寫成下方的話：
A
B
∴C
我們會以爲B和A與B和C沒有任何關聯性，但其實這不對，因為B的命題（有蘋果，小明就拿到板上）裏面，包含A（有蘋果）和B（小明拿到班上）。
因此，應該要這樣寫：
A
A→C
∴C
這裏就用到連詞(connective)了。
2.2連詞 (connectives)
| 符號 | 華語 | 英文 |
|---|---|---|
| ¬ | 非 | not |
| & | 與 | and |
| ∨ | 或 | or |
| → | 充分條件 | if |
| ↔ | 充要條件 | if and only if |
¬否定
| A | ¬A |
|---|---|
| T | F |
| F | T |