前提至少有一个是关系判断，并按其关系的逻辑性质而进行推演的演绎推理。除只有一个关系判断作前提的直接关系推理外，前提都是关系判断的，称为纯粹关系推理，如：“A大于B，B大于C，所以A大于C。”前提既有关系判断又有性质判断的，称为混合关系推理，如：“所有A与所有B有R关系，所有C都是B，因此所有A与所有C有R关系。”