複製鏈接
請複製以下鏈接發送給好友
https://baike.baidu.hk/item/直接關係推理/18883622
複製
複製成功

直接關係推理

鎖定
直接關係推理( immediate relation inference)從一個關係命題推m另一個關係命題的推理。常見的有以下兩種：(l)對稱性關係推理，即根據對稱性關係而進行推演的關係推理。例如：“李白與杜甫同一個朝代，所以，杜甫與李白同一個朝代。”其邏輯形式為：“aRb，所以,bRa。”(2)反對稱性關係推理，即根據反對稱性關係而進行推演的關係推理。例如：“李白早於自居易，所以，白居易不早於李白。”其邏輯形式為：“aRb．所以b -Ra。” [1] 
中文名
直接關係推理
外文名
immediate relation inference
定義介紹
常用的有兩種:對稱關係推理與反對稱關係推理.其邏輯形式可分別表示為
直接關係推理定義介紹 直接關係推理定義介紹
其中，RR:分別表示對稱性關係與反對稱性關係.例如，"a=b-}b=a”是對稱關係推理."a } b-}b筍a"是反對稱關係推理.
參考資料
  • 1.    彭漪漣．邏輯學大辭典：上海辭書出版社，2004年12月