反面推论的定义是什么？

反面推论也叫反证。反证：按照主张某种事实存在或否认对方主张事实的存在来划分，可分为本证与反证。对方当事人为否定或推翻主张事实的一方当事人所提出的证据，而提出相反的事实证据，以证明事实的不存在，谓之反证。

当然解释则是指，其他的法律规定有相似的规定，即使通过一般人的智商自然而然得出同样的解释叫做当然解释，这与反面推论还是有区别的。至于两者的联系就不好说了。反面推论是逻辑论证方法中的一种，当然解释是法律解释分类中的一种。

《马说》是唐代文学家韩愈的一篇借物寓意的杂文，属论说文体，原为韩愈所作《韩愈文选》中《杂说》的第四篇，“马说”这个标题为后人所加。此文作于贞元十一年至十六年间（公元795—800）。“说”是“谈谈”的意思，是古代一种议论文体裁。这篇文章以马为喻，谈的是人才问题，表达了作者对统治者不能识别人才、不重视人才、埋没人才的强烈愤慨。

马说第二段从反面论证了什么内容？

第2段是从反面论证世有伯乐，然后有千里马的道理，在于谴责食马者。