一道证明题：华科到底是进步了还是退步了？

远征

事实：


- 1、华科校友说这20年是巨大进步了
- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前
. O6 x$ w( P: f! p
8 @! x; r7 e( n假设：

/ t; {' d1 p; S" \$ i2 e华科校友没说谎 且 20年前没买榜，

则推出=>  华科今天排名应该高于20年前

$ q" c# b, A; t; P$ n, U这与事实2矛盾，因此假设不成立。
1 W$ X' |6 _& W: ~- u* p1 E: J0 ?* }
因此：要么华科校友说谎，要么华科20年前买榜

证毕。

: C% N9 ^5 V- u2 N, d: Z" I: P
% u0 M! W/ h5 D% e1 R( L

西光

有没有可能，华科寄不了

远征

如果承认华科近20年有巨大进步，那必定20年前买榜了；
$ y2 k) a+ s7 [
如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
9 \! ]$ H0 [0 W! A- B
$ `# p( `, J: j7 Z, B: ^二者互斥，不能同时成立。