直接關係推理

直接關係推理( immediate relation inference)從一個關係命題推m另一個關係命題的推理。常見的有以下兩種：(l)對稱性關係推理，即根據對稱性關係而進行推演的關係推理。例如：“李白與杜甫同一個朝代，所以，杜甫與李白同一個朝代。”其邏輯形式為：“aRb，所以,bRa。”(2)反對稱性關係推理，即根據反對稱性關係而進行推演的關係推理。例如：“李白早於自居易，所以，白居易不早於李白。”其邏輯形式為：“aRb．所以b -Ra。”

定義介紹

常用的有兩種:對稱關係推理與反對稱關係推理.其邏輯形式可分別表示為

其中，RR:分別表示對稱性關係與反對稱性關係.例如，"a=b-}b=a”是對稱關係推理."a } b-}b筍a"是反對稱關係推理.