关系推理的种类：分为对称性、传递性关系推理

（一）对称性关系推理

①小李是小王的好朋友；

所以，小王是小李的好朋友。

②A大于B；

B大于C；

所以，A大于C。

前提和结论都具有对称性关系判断的推理，就是对称性关系推理。

所谓对称性关系是指：当且仅当对象A和B之间有一定关系时，对象B和A也有这种关系。上述例①就是对称性关系推理。

对称关系推理也是复杂多样的，如等于关系、同一关系、差异关系等。

等于关系是指：A等于B，则B也等于A。例如：

数学中，a=b，那么b=a。

同一关系是指：A与B都有属性C，那么B与A也属于C。例如：

战争与和平可以转化；

那么，和平与战争也是可以转化的。

对称关系推理的规则用符号表示：

如果判断R（A·B）为真，则R（B·A）也真。