形式邏輯筆記

於 2022年1月16日 (日) 15:47 由 Tankianting討論 | 貢獻 所做的修訂

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

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