2,633
次編輯
「形式邏輯筆記/第六章」修訂間的差異
建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} '''第六章 證明''' 一堆命題序列，由premises（前件）推論到結論。 本文使用 Fitcher…」的新頁面
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} '''第六章 證明''' 一堆命題序列，由premises（前件）推論到結論。 本文使用 Fitcher…」的新頁面） |
（無差異）
|
Tankianting（討論 | 貢獻） （建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} '''第六章 證明''' 一堆命題序列，由premises（前件）推論到結論。 本文使用 Fitcher…」的新頁面） |
（無差異）
|