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

远征

事实：


- 1、华科校友说这20年是巨大进步了
( p* L6 ^+ v+ }% V& i- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前

假设：

$ Z+ B: h, ^3 ~* v3 S: I# n+ b华科校友没说谎 且 20年前没买榜，

: P9 S4 [% p- w8 Y则推出=>  华科今天排名应该高于20年前
8 w3 V/ O7 g. G$ V0 P/ m
  L1 x% t( q! B: S9 G这与事实2矛盾，因此假设不成立。

因此：要么华科校友说谎，要么华科20年前买榜
+ i+ h  X5 ~- r7 g. a' W3 E
5 H- `& X  A& B9 ], K) x# ?证毕。
5 u: m' b+ J# v% c
7 x. T# v: X% ?

西光

有没有可能，华科寄不了

远征

如果承认华科近20年有巨大进步，那必定20年前买榜了；
# o8 J1 y4 T1 y; t1 q5 Z; y
' s2 {/ P& v  J6 r如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
6 U2 e/ ^( I" E( L2 j- T
二者互斥，不能同时成立。