逻辑学中非传递关系和禁止传禁关系怎么理解

来源:学生作业帮助网 编辑:作业帮 时间:2024/05/07 02:13:22
逻辑学中非传递关系和禁止传禁关系怎么理解

逻辑学中非传递关系和禁止传禁关系怎么理解
逻辑学中非传递关系和禁止传禁关系怎么理解

逻辑学中非传递关系和禁止传禁关系怎么理解
∀x∀y∀z(R(x,y)∧R(y,z)→~R(x,z))
设R为一二元关系,就任意xyz而言,如果x对y有关系R,且y对z有关系R,则X对z一定没有关系R,则这种关系就是反传递关系.如张老是老张的父亲,老张是大张的父亲,则张老一定不是大张的父亲.“是父亲”这种关系就是反传递的.

∀x∀y∀z(R(x,y)∧R(y,z)→◇R(x,z)∧◇~R(x,z))

设R为一二元关系,就任意xyz而言,如果x对y有关系R,且y对z有关系R,则X对z可能具有关系R,也可能不具有关系R,则这种关系就是非传递关系.如“喜欢”