相等關係推理

相等關係推理( equal relational inference) 傳遞關係推理的一種。根據兩個以上對象間的相等關係而進行推演的關係推理。如以“=”表示相等，“a”、“b”、“c”…等表示關係項（反映具有相等關係的各個對象），則相等關係推理的公式可表示為：“a=b而且c=b，所以，a=c。”

例如，“苟子即苟況，苟卿即苟況，所以，荀子即荀卿。”相等關係推理是一種有效推理。如果其前提為真，那么其結論也必然真。