关系推理

---

指前提中至少有一个是关系判断的推理，它是根据关系的逻辑性质进行推演的。

可分为纯关系推理和混合关系推理。

纯关系推理就是前提和结论都是关系判断的推理，包括对称性关系推理、反对称性关系推理、传递性关系推理和反传递性关系推理。

(1)对称性关系推理是根据关系的对称性进行的推理。例如：思维不同于语言，所以，语言不同于思维。

用公式表示为：aRb，所以，bRa。

(2)反对称性关系推理是根据关系的反对称性进行的推理。

例如：珠穆朗玛峰高于地球上任何其他山峰，所以，地球上任何其他山峰不高于珠穆朗玛峰。用公式表示为：aRb，所以，。

(3)传递性关系推理是根据关系的传递性进行的推理。例如：孔丘早于孟轲，孟轲早于朱熹，所以，孔丘早于朱熹。

用公式表示为：aRb，bRc，所以，aRc。

(4)反传递性关系推理是根据关系的反传递性进行的推理。

例如：老赵是大赵的父亲，大赵是小赵的父亲，所以，老赵不是小赵的父亲。用公式表示为aRb，bRc，所以，aRc。

混合关系推理就是有一个前提是关系判断，另一个前提是直言判断，结论是关系判断的推理。

例如，我们反对一切不正之风，用公款请客送礼是不正之风，所以，我们反对用公款请客送礼。

用公式表示为：所有a与所有b有R关系，所有c是b，所以，所有a与所有c有R关系。

由于混合关系推理与直言三段论类似，因此又叫做混合关系三段论。