有效推理

有效推理亦稱“正確（符合推理規則的）推理”。運用有效的推理形式所進行的推理。亦即是前提蘊涵著結論的推理。一個有效的推理，其前提真而結論假是不可能的。如三段論第一格的AAA式，是一個有效的推理形式。運用這一有效的推理形式所進行的推理，就是有效推理。