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

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

1. 換位律：

1-1 全稱肯定不可換位

if (A -> B) then (B -> A) 不成立

證明：

構造法：

  所有吉娃娃都是狗 => 所有狗都是吉娃娃 Ｘ錯誤Ｘ

1-2 特稱否定不可換位

if (%A !-> B) then (%B !-> A) 不成立

證明：

構造法：

  有些狗不是吉娃娃 -> 有些吉娃娃不是狗 Ｘ錯誤Ｘ

--

if (A !-> B) and (B -> C) then (A !->C)  不成立

證明：

構造法：

  全部的貓都不是狗, 所有狗都是哺乳動物 -> 全部的貓都不是哺乳動物 Ｘ錯誤Ｘ