「形式邏輯筆記」修訂間的差異

出自Tan Kian-ting的維基
跳至導覽 跳至搜尋
(建立內容為「形式邏輯教科書 Forall X 的筆記。 [https://en.wikipedia.org/wiki/Fitch_notation Fitch 演繹表達式]這本書使用使用,需要找出一套如何…」的新頁面)
(無差異)

於 2021年12月6日 (一) 01:02 的修訂

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

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