“间接推理”的对称。由一个前提推出结论的推理。在传统逻辑中通常指以一个性质判断为前提的推理。主要包括运用直言判断变形法的直接推理（换质法、换位法和换质位法）和依据“逻辑方阵”中性质判断间关系进行的直接推理等。此外也包括直接关系推理、假言易位推理等。