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

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

定理二十：

第三格式三段論 Felapton EAO-3

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

證明：

1. 根據定理三 全稱肯定 => 特稱肯定

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

2. 根據定理二 特稱肯定換位律

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

3. 根據 定理十二 Ferio (EIO-1)

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

得證！ Q.E.D.

--

舉例：

 凡 狗 皆 非貓, 凡 狗 是 動物 => 有些 動物 不是 貓