反证法，很奇妙的逻辑推理的法(2)

但是，伽利略不同意这一观点。他从理论上推翻了亚里士多德的看法，他说：“假设亚里士多德的结论是正确的，现在有a、b两个物体，且a比b重得多，那么 a应比b先落地。

现在把 a、b两个物体捆在一起成为一个物体 a＋b，这时由于a＋b比a重，因此a＋b这个物体应比a先落地；另一方面由于a比b落得快，当a、b两个物体在一起时，b应使a的下落速度减慢，所以a＋b又应比a后落地。这样便出现了矛盾；a＋b既比a先落地，又比a后落地。
这个矛盾是怎样造成的呢？就是由于开始“假设亚里士多德的结论是正确的”造成的，因此亚里士多德的结论是错误的。为了验证自己的观点是正确的，便出现了本文开头提到的比萨斜塔上的试验。

02古诗和成语中的反证法
北宋文学家苏轼写过一首哲理诗：若言弦上有琴声，放在匣中何不鸣？若言声在指头上，何不于君指上听？
这首《琴诗》仅两句反问，反应了琴和手相互作用才能弹出琴声，仔细分析，诗中的论证也使用了反证法。
为了证明“弦上没有琴声”，先假设（若言）“弦上有琴声”，推理“放在匣中应该鸣”，与事实“放在匣中不鸣”相矛盾，进而证明“弦上没有琴声”；同理又证明了“指头上没琴声”。
所以，只有弦和指头配合，再加上高超的技艺和感情才能弹奏出优美的曲子。
说到“矛盾”，其实成语“自相矛盾”里也有反证法。
楚国人卖矛又卖盾，先说他的盾很坚固，什么矛都戳不穿；接着又说他的矛很锋利，什么盾都能截穿。有人问道：“用你的矛戳你的盾会怎样呢？”楚国人无以对答。
为了证明“他的矛不是什么盾都能戳穿”，先假设“他的矛什么后都能戳穿”，那么请“用你的矛戳你的盾”若戳不穿，他的说法不攻自破；若戳得穿，与“他的盾很坚固，什么矛都戳不穿”矛盾，因此假设不成立，即证明了“他的矛不是什么盾都能戳穿”。同理，也可证明“他的盾有矛能戳穿”。