说说我的看法。这里的归纳推理的第二步有三个集合
wxcfan123
2012-08-24 18:01:09
( reads)
A：N+1匹马。B：A-马1，N匹马。C：A-马2，N匹马。
由归纳假设，B，C里的马都同色。所以 A=B并C 里的马都同色。
这里的问题是，这一步推理需要一个充分必要条件：B交C非空。这样A中除了马1，马2外还至少要有一匹马。N+1至少是三，N至少是二。