... 泛指「牛、馬、智者、愚者」(高一志例)相同,也是圖2.7中所說明的屬種關係。 ... 前件或離斷律(Modusponens)的特質,相較於前類,本類型的邏輯描述為((p⊃q)•p)⊃q。
確定! 回上一頁