自做邏輯公設定理系統模型 - 2 定理十到十三 第一格式 三段論

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

定理十：全稱肯定 傳遞律 Transitivity 

第一格式三段論 Barbara (AAA-1)

if (A ->B) and (B -> C) then (A -> C)

定理十一：特稱肯定 傳遞律 Transitivity 

第一格式三段論 Darii (AII-1)

if (A -> B) and (%C -> A) then (%C -> B)

定理十二：  全稱肯定＋全稱否定 傳遞律 Transitivity 

第一格式三段論 Celarent (EAE-1)

if (B !->C) and (A->B) then (A !-> C)

定理十三：  全稱否定＋特稱肯定 傳遞律 Transitivity 

第一格式三段論 Ferio (EIO-1) 

If (A !->B) and (%C -> A) then (%C !-> B)