問答題

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


您可能感興趣的試卷