举例说明什么是反对称性关系推理

举例说明什么是反对称性关系推理

纯关系推理是前提和结论都是关系判断的推理。

反对称性关系推理是根据关系的反对称性进行推演的关系推理，可用公式表示为：aRb→b  a（R代表反对称性关系）。

例如：

a概念真包含于b概念，所以，b概念不真包含于a概念。