「形式邏輯筆記」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
行 9: 行 9:
* [[形式邏輯筆記/第三章]] 真值表
* [[形式邏輯筆記/第三章]] 真值表
* [[形式邏輯筆記/第四章]] 量化邏輯
* [[形式邏輯筆記/第四章]] 量化邏輯
* [[形式邏輯筆記/第五章]] 形式語義


[[category:邏輯學]]
[[category:邏輯學]]

於 2022年6月12日 (日) 23:10 的修訂

形式邏輯教科書 Forall X 的筆記。

這本書使用Fitch 演繹表達式標記法,需要找出一套如何排版的方法。可以使用:https://www.logicmatters.net/latex-for-logicians/nd/