小強(qiáng)一本書也沒有。
因?yàn)槿齻(gè)估計(jì)中只有一個(gè)是對(duì)的,所以以此為突破口,提出假設(shè),進(jìn)行推理,找出符合要求的結(jié)論。
(1)假設(shè)甲說的話真,那么乙、丙二人說的話假。由甲話真,推出小強(qiáng)至少有1000本書。
由丙話假,推出小強(qiáng)一本書也沒有。
這兩個(gè)結(jié)論相互矛盾,所以假設(shè)錯(cuò)誤。
(2)假設(shè)乙說的話真,那么甲、丙二人說的話假。
由乙話真,推出小強(qiáng)的書不到1000本。
由甲話假,也推出小強(qiáng)的書不到1000本。
由丙話假,推出小強(qiáng)一本書也沒有。
這三個(gè)結(jié)論沒有發(fā)生矛盾,所以假設(shè)成立。
(3)假設(shè)丙說的話真,那么甲、乙二人說的話假。
由甲話假,推出小強(qiáng)的書不到1000本。
由乙話假,推出小強(qiáng)的書超過1000本。
這兩個(gè)結(jié)論相互矛盾,所以假設(shè)錯(cuò)誤。
綜上所述,只有第(2)種假設(shè)成立,推出小強(qiáng)一本書也沒有。
其實(shí)從甲、乙兩人的估計(jì)中可以直接看出,二者的話相互矛盾,不能同時(shí)成立(即不能同真或同假),其中必有一真一假(至于哪句為真可不必管它)。因?yàn)槿渲兄挥幸痪錇檎,所以丙說的話定為假,推出小強(qiáng)一本書也沒有。