自做邏輯公設定理系統模型 - 4-2 定理十九 第三格式三段論 Disamis IAI-3 證明

前篇：自做邏輯公設定理系統模型 - 4-1 定理十八 第三格式三段論 Darapti 證明 

定理十九：

第三格式三段論 Disamis  IAI-3

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

證明：

1. 根據定理二 特稱肯定換位律 if (%B->A) then (%A->B)

2. 根據定理十一 Darii AII-1

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

3. 根據定理二 特稱肯定換位律 if (%A->C) then (%C->A)

故得證！ Q.E.D.

--

舉例：

有些狗是吉娃娃,  凡 狗 皆 哺乳動物 => 有些吉娃娃是哺乳動物