纯粹关系推理

纯粹关系推理(pure relational inference)是指前提与结论均为关系命题的关系推理。例如“4=2，所以，2=4”。“长江长于黄河，黄河长于珠江，所以，长江长于珠江”。前者是根据“=”(等于)关系的对称性而进行推演的关系推理，其逻辑形式为：“aRb，所以bRa”；后者是根据“长于”关系的传递性而进行推演的关系推理，其逻辑形式为：“aRb，bRc，所以，aRc”。只要在推理中严格根据关系本身的逻辑性质，纯粹关系推理的结论就是必然推出的。