設(shè)已知: (1)能閱讀的人是識字的; (2)海豚不識字; (3)有些海豚是很聰明的。 請用歸結(jié)演繹推理證明:有些很聰明的人并不識字。
設(shè)已知: (1)如果x是y的父親,y是z的父親,則x是z的祖父; (2)每個人都有一個父親。 使用歸結(jié)演繹推理證明:對于某人u,一定存在一個人v,v是u的祖父。