问答题
简答题
设已知：
（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；
（2）每个人都有一个父亲。
使用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。
【参考答案】
问答题
设已知：
（1）如果x是y的父亲，y是z的父亲，则x是z的祖父；
（2）每个人都有一个父亲。
使用归结演绎推理证明：对于某人u，一定存在一个人v，v是u的祖父。