数学家没有进餐却需付饭钱

yangls728

数学家没有进餐却需付饭钱
晋新书
数学家走进饭店准备用餐。落座后发现邻桌是几位穿着校服的中学生，于是攀谈起来。
数学家问：“你们学过反证法吗？”
学生答道：“刚刚学过。”
数学家：“我对反证法很有研究呢，非常困难的命题我都可以用反证法证明，你们相信不？”
学生齐答：“当然相信。”
数学家：“好，那你们给我出一道题吧。”
学生：“您现在还没有进餐，怎么证明这一点呢？”
数学家：“当然是用反证法啰。我可以先设立反论题，即假设我已经进餐过了为真。”
学生：“既然已经假设了您进餐过了是真的，那么，您一定会认为这顿饭吃得满意或是不满意。”
数学家：“当然啰。”
学生：“老师给我们讲过，下一步就是设法证明反论题是虚假的。”
数学家：“对呀！”
学生：“如果您证明了‘满意’是虚假的，说明这顿饭您吃得不满意；如果您证明了‘不满意’是虚假的，说明这顿饭您吃得满意。总之，无论满意还是不满意，都说明您是吃过这顿饭了，所以，您该付这顿饭钱。对吗？”
这时，站在一旁听得津津有味的店小二竟然情不自禁地鼓起掌来！并附和道：“学生说得对，该付饭钱！”
此刻，数学家很是尴尬，沉默不语，似乎在思考：我错了吗？错在哪里？