問答題

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


您可能感興趣的試卷