形式邏輯筆記

出自Tan Kian-ting的維基
於 2022年1月14日 (五) 23:46 由 Tankianting（討論 | 貢獻） 所做的修訂
跳至導覽 跳至搜尋
導航：程式語言、邏輯學 > 形式邏輯筆記

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

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

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