反对称关系推理

反对称关系推理是直接关系推理的一种。根据关系命题所反映的对象之间的反对称关系而进行推演的关系推理。如果以“R”表示反时称关系，则反对称关系推理可用公式表示为：“aRb，所以，b-Ra”。例如，“长江长于黄河，所以，黄河不长于长江”。反对称关系推理是一种有效推理。如果其前提为真，那么其结论也必然真。