「形式邏輯筆記/第三章」修訂間的差異
跳至導覽
跳至搜尋
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} 第三章 真值表 命題邏輯中，估計值和論元的方法。 ==3.1真值函數連接詞 (trth-funct…」的新頁面） |
Tankianting（討論 | 貢獻） |
||
| 行 18： | 行 18： | ||
比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。 | 比如模態邏輯(modal logic)，其中的♢p，代表可能是p，但無法推論真假。 | ||
==3.2全真值表 (complete truth table)== | |||
{| class="wikitable" | |||
|- | |||
! 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 | |||
|} | |||
{{ForAllX}} | {{ForAllX}} | ||
[[category:邏輯學]] | [[category:邏輯學]] | ||
於 2022年2月15日 (二) 06:11 的修訂
第三章 真值表
命題邏輯中，估計值和論元的方法。
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 |