形式邏輯筆記

於 2021年12月6日 (一) 01:02 由 Tankianting討論 | 貢獻 所做的修訂 (建立內容為「形式邏輯教科書 Forall X 的筆記。 [https://en.wikipedia.org/wiki/Fitch_notation Fitch 演繹表達式]這本書使用使用,需要找出一套如何…」的新頁面)
(差異) ←上個修訂 | 最新修訂 (差異) | 下個修訂→ (差異)

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

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