设有如下关系:用归结原理回答:上述人员中谁和谁是祖孙关系?
设有如下关系: (1)如果x是y的父亲,y又是z的父亲,则x是z的祖父。 (2)老李是大李的父亲。 (3)大李是小李的父亲。 用归结原理回答:上述人员中谁和谁是祖孙关系?
⑴已经有结论
⑵⑶同时成立时,老李是小李的祖父。
.
应用的是【传递关系】:
若x~y,y~z,则x~z。
热门标签:
设有如下关系: (1)如果x是y的父亲,y又是z的父亲,则x是z的祖父。 (2)老李是大李的父亲。 (3)大李是小李的父亲。 用归结原理回答:上述人员中谁和谁是祖孙关系?
⑴已经有结论
⑵⑶同时成立时,老李是小李的祖父。
.
应用的是【传递关系】:
若x~y,y~z,则x~z。