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

    小强一本书也没有。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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