1. 设已知：(1)能阅读的人是识字的。(2)海豚不识字。(3)有些海豚是很聪明的。用归结策略证明：有些很聪明的人并不识字

首先，我们可以将问题表示为逻辑语句： A：能阅读的人是识字的。 B：海豚不识字。 C：有些海豚是很聪明的。 D：有些很聪明的人并不识字。 我们需要使用归结策略来证明D是真的。归结策略是一种证明方法，通过将逻辑语句进行归结操作，最终得到一个空子句来证明目标。 首先，我们将已知条件转化为逻辑语句： (1) ¬A → ¬B (2) B (3) C 接下来，我们将这些语句进行归结操作： (4) ¬A （根据(1)和(2)进行归结） (5) ¬B （根据(4)和(3)进行归结） 现在我们得到了一个空子句(5)，这意味着我们成功地证明了D是真的。因此，根据归结策略，有些很聪明的人并不识字。