「形式邏輯筆記/第一章」修訂間的差異

形式邏輯筆記/第一章 (檢視原始碼)

增加 1 位元組、 2021年12月13日 (一) 02:58

2,617

次編輯

@@ 行 86： / 行 86： @@
 *所有人會死
 *∴蘇格拉底會死
-:⇒提取符號化：
+:⇒提取符號化
 *S是M
 *所有M是C
@@ 行 92： / 行 94： @@
 ⇒形式語言
 * 亞里斯多德邏輯：
 **(A) 所有A是B