普通逻辑学习笔记 关系推理

        关系推理是以关系判断为前提或结论的推理。应掌握的主要是纯关系推理，它是根据前提中关系的逻辑性质进行推演的。具体有以下四种：

　　1.对称关系推理

　　如果关系R是对称的，则有：

　　   　aRb，所以，bRa

　　2.反对称关系推理

　　如果关系R是反对称的，则有：

　　   　aRb，所以，b`Ra

　　3.传递关系推理

　　如果关系R是传递的，则有：

　　　　aRb，bRc，所以，aRc

　　4.反传递关系推理

　　如果关系R是反传递的，则有：

　　　　aRb，bRc，所以，a`Rc