有效推理亦称“正确（符合推理规则的）推理”。运用有效的推理形式所进行的推理。亦即是前提蕴涵着结论的推理。一个有效的推理，其前提真而结论假是不可能的。如三段论第一格的AAA式，是一个有效的推理形式。运用这一有效的推理形式所进行的推理，就是有效推理。