-
指推理形式正确，即遵守相应推理规则的推理形式。
正确推理又被称作有效推理。一个推理是有效的，那么在推理中，作为前提的语句真时作为结论的语句不可能假，不会出现前提真结论假的情况。
论证则主要是由推理构成的。一个论证是可靠的首先要求构成论证的推理是有效推理。因此从狭义上讲，逻辑学是以推理的有效性及其根据为研究对象的。