檢視形式邏輯筆記/第六章的原始碼

←形式邏輯筆記/第六章

跳至導覽跳至搜尋

由於下列原因，您沒有權限進行編輯此頁面的動作：

您請求的操作只有這個群組的使用者能使用：使用者

您可以檢視並複製此頁面的原始碼。

{{Nav|程式語言、邏輯學|形式邏輯筆記}}

'''第六章 證明'''

證明：一堆命題序列，由premises（前件）推論到結論。

本文使用 Fitcher 的演繹證明格式，證明與排版產生器請參此網站：https://mrieppel.github.io/fitchjs/

返回到「形式邏輯筆記/第六章」。

取自「https://kianting.info/wiki/w/形式邏輯筆記/第六章」