檢視形式邏輯筆記/第三章的原始碼

{{Nav|程式語言、邏輯學|形式邏輯筆記}}

第三章 真值表

命題邏輯中，估計值和論元的方法。

==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)==

{| 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}}

[[category:邏輯學]]