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

远征

事实：
8 L! y1 z( A/ H3 q8 {

+ N* J- D( B% g+ W- 1、华科校友说这20年是巨大进步了
  Y$ n0 r  ]! o2 p% q' X- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前
: d4 i/ u$ G4 k( ?& m
假设：

) X% u  v4 p9 x2 o华科校友没说谎 且 20年前没买榜，

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

# {# R9 J8 B/ h这与事实2矛盾，因此假设不成立。
2 ~9 ~, e7 m  c( Z3 x
- K9 Z' d3 B" d- R% t! a因此：要么华科校友说谎，要么华科20年前买榜
$ Y+ X- g) q$ R5 ?0 g
证毕。
2 D5 @+ r% D8 m4 V* y1 p% H0 w5 F4 X
: Z# r- |0 y$ L) |, r
9 W* s' _9 _8 p4 Y

西光

有没有可能，华科寄不了

远征

如果承认华科近20年有巨大进步，那必定20年前买榜了；

  h  P4 L/ a) y如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
7 l* Z& y% `3 s7 U) M- s& {8 L; y6 y
6 r- S* b" a- j% s) M' F1 w二者互斥，不能同时成立。