設(shè)已知: (1)如果x是y的父親,y是z的父親,則x是z的祖父; (2)每個(gè)人都有一個(gè)父親。 使用歸結(jié)演繹推理證明:對于某人u,一定存在一個(gè)人v,v是u的祖父。