混合关系推理

前提中既有关系判断也有性质判断而结论总是关系判断的推理。

混合关系推理即“混合关系三段论”。前提中一个是关系命题，另一一个是性质命题的关系推理。例如“所有负数都小于零，-2是负数，所以，-2小于零”。“珠穆朗玛峰高于地球上所有的山峰，美洲的所有山峰都是地球上的山峰，所以，珠穆朗玛峰高于美洲的所有山峰”。它们的第一个前提都是关系命题，而第二个前提都是性质命题（前例为单称肯定命题，后例为全称肯定命题），所以，它们都是混合关系推理。前例的逻辑形式为：“所有a与b有R关系，c是a，所以，c与b有关系R。”后例的逻辑形式为：“a与所有的b有R关系，所有c都是b，所以a与所有c有R关系。”混合关系推理还可以有其他的形式。这些形式可以是正确的，也可以是不正确的。