自做邏輯公設定理系統模型 - 0 定義

亞里斯多德的三段論 和 四角對當

自做邏輯公設定理系統模型 - 1-1 定理 一到九

自做邏輯公設定理系統模型 - 1-2 定理證明不成立

自做邏輯公設定理系統模型 - 1-3 定理十 證明

自做邏輯公設定理系統模型 - 1-4 定理十一 證明

自做邏輯公設定理系統模型 - 1-5 定理十二 第三格式三段論（Datisi) 證明

讀這本 亞里士多德的三段論 有感; 想說自己也來做一個邏輯的公設定理系統模型看看,

(有點像符號邏輯或形式邏輯?) 順便當作是自我學習; 

(所以以下是自己揣摩寫的紀錄, 方便自己查閱; 多有錯誤, 請自行判斷;)

系統 = 單稱項邏輯（Term Logic）＋存在預設（existential import）

存在公設

若 A 出現在任何全稱命題中，則 A 非空

定義一：全稱肯定

所有Ａ 都有 B

A -> B

定義二：特稱肯定

有些Ａ有B 

%A -> B

定義三：全稱否定

所有Ａ 都沒有 B

A !-> B

定義四 : 特稱否定

有些 Ａ 沒有 Ｂ

% A !-> B

定義五 ： 前提符號 （）, 

是一個肯定或否定某物為某物的語句, 其值只有 true 或 false

定義六 : 否定符號 ！

！(A->B) 表示 (A->B) = false

只有當 (A->B) = true 時能做

定義七 ： 因果

if true then true

定義八： 因果 and 

if true and true then true

定義九： 因果 and 交換律

if (S1) and (S2) 等同於 if (S2) and (S1)

思想：肯定的反面是否定, 否定的反面卻不一定是肯定

例如：誠實的反面是不誠實, 不誠實的反面是不是不誠實, 不一定是指誠實

川皇：喜歡唬爛, 並不是不誠實, 一切都是為了 MAGA 呀！