甲、乙、丙三人對(duì)小強(qiáng)的藏書數(shù)目作了一個(gè)估計(jì)，甲說(shuō)：“他至少有1000本
書。”乙說(shuō)：“他的書不到1000本。”丙說(shuō)：“他最少有1 本書。”這三個(gè)估計(jì)
中只有一句是對(duì)的，那么小強(qiáng)究竟有_______ 本書。

    小強(qiáng)一本書也沒(méi)有。

    因?yàn)槿齻�(gè)估計(jì)中只有一個(gè)是對(duì)的，所以以此為突破口，提出假設(shè)，進(jìn)行推理，
找出符合要求的結(jié)論。

    （1 ）假設(shè)甲說(shuō)的話真，那么乙、丙二人說(shuō)的話假。由甲話真，推出小強(qiáng)至
少有1000本書。

    由丙話假，推出小強(qiáng)一本書也沒(méi)有。

    這兩個(gè)結(jié)論相互矛盾，所以假設(shè)錯(cuò)誤。

    （2 ）假設(shè)乙說(shuō)的話真，那么甲、丙二人說(shuō)的話假。

    由乙話真，推出小強(qiáng)的書不到1000本。

    由甲話假，也推出小強(qiáng)的書不到1000本。

    由丙話假，推出小強(qiáng)一本書也沒(méi)有。

    這三個(gè)結(jié)論沒(méi)有發(fā)生矛盾，所以假設(shè)成立。

    （3 ）假設(shè)丙說(shuō)的話真，那么甲、乙二人說(shuō)的話假。

    由甲話假，推出小強(qiáng)的書不到1000本。

    由乙話假，推出小強(qiáng)的書超過(guò)1000本。

    這兩個(gè)結(jié)論相互矛盾，所以假設(shè)錯(cuò)誤。

    綜上所述，只有第（2 ）種假設(shè)成立，推出小強(qiáng)一本書也沒(méi)有。

    其實(shí)從甲、乙兩人的估計(jì)中可以直接看出，二者的話相互矛盾，不能同時(shí)成
立（即不能同真或同假），其中必有一真一假（至于哪句為真可不必管它）。因
為三句中只有一句為真，所以丙說(shuō)的話定為假，推出小強(qiáng)一本書也沒(méi)有。