自做邏輯公設定理系統模型 - 4-3 定理二十 第三格式三段論 Datisi AII-3 證明

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

定理二十：

第三格式三段論 Datisi  AII-3

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

證明：

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

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

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

故得證！ Q.E.D.

--

舉例：

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