形式邏輯筆記/第三章

出自Tan Kian-ting的維基
於 2022年2月4日 (五) 16:11 由 Tankianting討論 | 貢獻 所做的修訂 (建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} 第三章 真值表 命題邏輯中,估計值和論元的方法。 ==3.1真值函數連接詞 (trth-funct…」的新頁面)
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)
跳至導覽 跳至搜尋

第三章 真值表

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

3.1真值函數連接詞 (trth-functional connective)

複合句的真值,僅依賴於組成的原子命題。

比如:D↔E的真值,是從D和E的真值算出後,再算出。

這樣做的 connective 叫 truth-functional

於命題邏輯裏,所有的邏輯操作子都是 truth-functional。

但並不是所有的形式語言都是 truth-functional。

比如模態邏輯(modal logic),其中的♢p,代表可能是p,但無法推論真假。

ForAll X 形式邏輯筆記

第一章 什麼是邏輯 - 第二章 命題邏輯 - 第三章 真值表 - 第四章 量化邏輯 - 第五章 形式語義- 第六章 證明