推理既反映前提和结论在内容、意义上的联系、又反映前提和结论在形式结构上的联系。

这里所说的推理的有效或无效，不是就推理的内容和意义而言的，而是就推理的形式结构而言的。因此，推理的有效性，也称为形式有效性。一个推理是有效的，当且仅当前提真时结论不可能假。即当一个推理前提真而结论为假时，这个推理肯定是无效的