反對稱關係推理

反對稱關係推理是直接關係推理的一種。根據關係命題所反映的對象之間的反對稱關係而進行推演的關係推理。如果以“R”表示反時稱關係，則反對稱關係推理可用公式表示為：“aRb，所以，b-Ra”。

例如，“長江長於黃河，所以，黃河不長於長江”。反對稱關係推理是一種有效推理。如果其前提為真，那么其結論也必然真。