Tankianting
→6.9 soundness and completeness
22:55
+13
Tankianting
→6.8證明與模型
22:50
+17
Tankianting
→6.8證明與模型
17:49
+596
Tankianting
無編輯摘要
17:38
+935
Tankianting
→6.4 量化邏輯律
17:20
+44
Tankianting
無編輯摘要
17:20
+2,750
Tankianting
無編輯摘要
15:56
+296
Tankianting
無編輯摘要
15:44
+882
Tankianting
無編輯摘要
15:31
+537
Tankianting
無編輯摘要
14:57
+335
Tankianting
無編輯摘要
14:30
+209
Tankianting
建立內容為「{{Nav|程式語言、邏輯學|形式邏輯筆記}} '''第六章 證明''' 一堆命題序列，由premises（前件）推論到結論。 本文使用 Fitcher…」的新頁面
14:25
+735