形式邏輯筆記

出自Tan Kian-ting的維基
於 2021年12月12日 (日) 23:38 由 Tankianting（討論 | 貢獻） 所做的修訂
跳至導覽 跳至搜尋

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

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

取自「https://kianting.info/wiki/index.php?title=形式邏輯筆記&oldid=129」