【摘要】：由于构造的不同，关系推理首先可以分为直接推理和间接推理。直接推理的例子如：“三角形ABC等于三角形KDE”，所以“三角形KDE等于三角形ABC”。以前说过，关系判断可以解释为属性判断。在关系推理中有时是可以这样做，而把这个推理看作三段论的，但有时却不可以这样做。
上说间接推理之演绎推理都是以属性判断组织起来的，其目的在于确定对象有无某种属性。
关系推理不同于上说种种推理，它是以关系判断组织起来的，而其目的又在于确定对象间有无某种关系。例如：
灵岩山高于虎丘山；
天平山高于灵岩山；
所以，天平山高于虎丘山。
关系推理是非三段论。
关系推理有自己的推理基础：关系的逻辑特性。
最重要的有如下五种：自返性、对称性、差异性、传递性（积累性）、函项性。
每一种逻辑特性都产生其自己的推理规则。
由于构造的不同，关系推理首先可以分为直接推理和间接推理。上说的例子是间接推理的例子。直接推理的例子如：“三角形ABC等于三角形KDE”，所以“三角形KDE等于三角形ABC”。
属于间接推理的关系推理，可以视其根据的逻辑特性之不同而分为相应的种类。如上举的例子为传递性关系推理。
以前说过，关系判断可以解释为属性判断。在关系推理中有时是可以这样做，而把这个推理看作三段论的，但有时却不可以这样做。可以这样做的例子如：
所有的行星都围绕太阳运转；
水星是行星；
所以，水星围绕太阳运转。
这时它是按三段论第一格组织起来的正确的三段论。不可以这样做的例子如：
所有的行星都围绕太阳运转；
太阳是恒星；
所以，所有的行星都围绕恒星运转。
如果把它——关系判断解释为属性判断，那就不是正确的三段论了，因为，犯了四名词错误。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
