相等关系推理

相等关系推理( equal relational inference) 传递关系推理的一种。根据两个以上对象间的相等关系而进行推演的关系推理。如以“=”表示相等，“a”、“b”、“c”…等表示关系项（反映具有相等关系的各个对象），则相等关系推理的公式可表示为：“a=b而且c=b，所以，a=c。”例如，“苟子即苟况，苟卿即苟况，所以，荀子即荀卿。”相等关系推理是一种有效推理。如果其前提为真，那么其结论也必然真。