(二)传递关系推理
前提和结论具有传递关系判断的推理,称作“传递关系推理”。
所谓传递关系是指对象A和B之间有,并且B和C之间也有这种关系时,对象A和C之间也就有这种关系。传递关系也是复杂多样的。相等关系、大于关系和小于关系等都是传递关系。
相等关系是指,如果A与B相等,并且B与C相等,那么A与C就相等。
大于关系是指,如果A大于B,并且B大于C,那么A就大于C。例如数学中:
7大于5;
5大于3;
所以,7大于3。
小于关系是指,如果A小于B,并且B小于C,那么A就小于C。例如:
欧洲的面积小于非洲;
非洲的面积小于亚洲;
所以,欧洲的面积小于亚洲。
此外还有先于、后于、重于、轻于等关系,都属于传递关系。
传递关系推理的规则是:
如果判断R(A·B)真,
并且R(B·C)真,
那么判断R(A·C)也真。