我们以全部反例无效来论证它的必然性:※即达成11只鸽子进入4个笼子,没有任何一个笼子里超过3只(假设笼子很大,1个笼子就能塞进11只鸽子,但实际上这已经违反了至少3只)我们以每个笼子的极限(不超过3只鸽子,即只有2只鸽子)放入鸽子,4个笼子一共只能放8只,11只里还剩3只。因此要再放就必然会达到3只了。
我们以全部反例无效来论证它的必然性:※即达成11只鸽子进入4个笼子,没有任何一个笼子里超过3只(假设笼子很大,1个笼子就能塞进11只鸽子,但实际上这已经违反了至少3只)我们以每个笼子的极限(不超过3只鸽子,即只有2只鸽子)放入鸽子,4个笼子一共只能放8只,11只里还剩3只。因此要再放就必然会达到3只了。