形式邏輯筆記
於 2022年1月15日 (六) 22:28 由 Tankianting（討論 | 貢獻） 所做的修訂
- 導航：程式語言、邏輯學 > 形式邏輯筆記
形式邏輯教科書 Forall X 的筆記。
這本書使用Fitch 演繹表達式標記法，需要找出一套如何排版的方法。可以使用：https://www.logicmatters.net/latex-for-logicians/nd/
- 形式邏輯筆記/第一章 什麼是邏輯
形式邏輯教科書 Forall X 的筆記。
這本書使用Fitch 演繹表達式標記法，需要找出一套如何排版的方法。可以使用：https://www.logicmatters.net/latex-for-logicians/nd/