直接关系推理

直接关系推理( immediate relation inference)从一个关系命题推m另一个关系命题的推理。常见的有以下两种：(l)对称性关系推理，即根据对称性关系而进行推演的关系推理。例如：“李白与杜甫同一个朝代，所以，杜甫与李白同一个朝代。”其逻辑形式为：“aRb，所以，bRa。”(2)反对称性关系推理，即根据反对称性关系而进行推演的关系推理。例如：“李白早于自居易，所以，白居易不早于李白。”其逻辑形式为：“aRb．所以b -Ra。