三段論

三段論，也稱為推理規則，是一種用於從一組前提中得出結論的形式邏輯方案。 三段論的一個例子是肯定前件。