自做邏輯公設定理系統模型 - 1-5 定理十二 第三格式三段論（Datisi) 證明
讀這本 亞里士多德的三段論 有感; 想說自己也來做一個邏輯的公設定理系統模型看看,
(有點像符號邏輯或形式邏輯?) 順便當作是自我學習;
(所以以下是自己揣摩寫的紀錄, 方便自己查閱; 多有錯誤, 請自行判斷;)
定義：
前提或結論: 是一個可以求得邏輯值的主張
邏輯值：有 真, 假, 可能 三種狀態
成立：只有當邏輯值為真, 表示成立
底下 A, B 可為 主詞 或 述詞
底下 X, P, Q 可為 前提或結論
符號定義
定義一：全稱肯定
所有Ａ 都有 B
A -> B
定義二：特稱肯定
有些Ａ有B
%A -> B
定義三：全稱否定
所有Ａ 都沒有 B
A !-> B
定義四 : 特稱否定
有些 Ａ 沒有 Ｂ
% A !-> B
定義五 ：邏輯值
真 用 ture
假 用 false
可能 用 %X%
只有當 邏輯值 為真時, 表示成立
定義六 ： 前提邏輯運算符號 （）,
(X) : 是 X 的邏輯值
定義七 : 邏輯值相同符號 ==
(A) == (B) 表示 A 和 Ｂ 的 邏輯值相同
定義八 : 邏輯值不相同符號 !==
(A) !== (B) 表示 A 和 Ｂ 的 邏輯值相同
定義九 : 非(否定）符號 ！
P 是一個前提或結論, !P 代表 非Ｐ
定義十： 邏輯值運算 and
只有當 (A) 和 (B) 兩者皆為真成立時, (A) and (B) 邏輯值才會為真成立
定義十一：邏輯值運算 or
當 (A) 和 (B) 兩者只要任一為真成立時, (A) or (B) 邏輯值為真
定義十二 ： 因果符號 if then
若Ｐ為真 則Ｑ為真
if (P) then (Q) 等同於 if (P) == true then (Q) == true
這 因果 - 若Ｐ為真 則Ｑ為真 本身, 也可以作為 前提或結論
(P) <-> (Q) 表示 底下兩個均成立
if (P) == true then (Q) == false
if (Q) == true then (P) == false
定義十四： 因果 and 交換律
if (P) and (Q) 等同於 if (Q) and (P)
定義十五：全等符號 =
if (A->B) and (B->A) then (A = B)
if (A = B) then (A->B)
if (A = B) then (B->A)
存在公設
若 A 出現在任何全稱命題中，則 A 非空
--
來嘗試使用 直覺邏輯主義 和 盧卡西維茨 的 多值邏輯, 幫助學習
--
不用雙重否定
思想：肯定的反面是否定, 否定的反面卻不一定是肯定
例如：誠實的反面是不誠實, 不誠實的反面是不是不誠實, 不一定是指誠實
川皇：喜歡唬爛, 並不是不誠實, 一切都是為了 MAGA 呀！
沒有留言:
張貼留言