image

  1. 先提出前提(T1)：例如"所有A都是B"。
  2. 根據前提(T1)提出推論(T2)：例如"某個物件是A"，則可以推斷該物件也是B。
  3. 檢驗推論(T2)是否符合邏輯：確保推論(T2)符合前提(T1)的結構，並且不含有其他違反邏輯的假設或推斷。