直接关系推理
(逻辑学术语)
直接关系推理( immediate relation inference)从一个关系命题推m另一个关系命题的推理。常见的有以下两种:(l)对称性关系推理,即根据对称性关系而进行推演的关系推理。例如:“李白与杜甫同一个朝代,所以,杜甫与李白同一个朝代。”其逻辑形式为:“aRb,所以,bRa。”(2)反对称性关系推理,即根据反对称性关系而进行推演的关系推理。例如:“李白早于自居易,所以,白居易不早于李白。”其逻辑形式为:“aRb.所以b -Ra。
用户数据
参数表
继承树
构成树
关注人数:
0
技点进度:
0
/
0
题库进度:
0
/
0
技能进度:
0
/
关注级别:
取消关注
【参数模块正在开发当中】