甲、乙、丙三人对小强的藏书数目作了一个估计，甲说：“他至少有1000本书。”乙说：“他的书不到1000本。”丙说：“他最少有1本书。”这三个估计中只有一句是对的，那么小强究竟有_______本书。

小强一本书也没有。

因为三个估计中只有一个是对的，所以以此为突破口，提出假设，进行推理，找出符合要求的结论。

(1)假设甲说的话真，那么乙、丙二人说的话假。由甲话真，推出小强至少有1000本书。

由丙话假，推出小强一本书也没有。

这两个结论相互矛盾，所以假设错误。

(2)假设乙说的话真，那么甲、丙二人说的话假。

由乙话真，推出小强的书不到1000本。

由甲话假，也推出小强的书不到1000本。

由丙话假，推出小强一本书也没有。

这三个结论没有发生矛盾，所以假设成立。

(3)假设丙说的话真，那么甲、乙二人说的话假。

由甲话假，推出小强的书不到1000本。

由乙话假，推出小强的书超过1000本。

这两个结论相互矛盾，所以假设错误。

综上所述，只有第(2)种假设成立，推出小强一本书也没有。

其实从甲、乙两人的估计中可以直接看出，二者的话相互矛盾，不能同时成立(即不能同真或同假)，其中必有一真一假(至于哪句为真可不必管它)。因为三句中只有一句为真，所以丙说的话定为假，推出小强一本书也没有。