形式邏輯筆記/第三章
於 2022年2月15日 (二) 06:11 由 Tankianting（討論 | 貢獻） 所做的修訂
第三章 真值表
命題邏輯中，估計值和論元的方法。
3.1真值函數連接詞 (trth-functional connective)
複合句的真值，僅依賴於組成的原子命題。
比如：D↔E的真值，是從D和E的真值算出後，再算出。
這樣做的 connective 叫 truth-functional
於命題邏輯裏，所有的邏輯操作子都是 truth-functional。
但並不是所有的形式語言都是 truth-functional。
比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。
3.2全真值表 (complete truth table)
| A | B | A&B | A∨B | A→B | A↔B |
|---|---|---|---|---|---|
| 1 | 1 | 1 | 1 | 1 | 1 |
| 1 | 0 | 0 | 1 | 0 | 0 |
| 0 | 1 | 0 | 1 | 1 | 0 |
| 0 | 0 | 0 | 0 | 1 | 1 |