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

远征

事实：
, `6 i+ |9 ^& g1 M1 T% D; D2 n9 p
0 I. Z% P  o& G  T3 Z* ]2 @
. P2 W5 N& K9 F% N7 V6 @. w; R4 C: w- 1、华科校友说这20年是巨大进步了
- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前

7 v& p  Z% J* C* [3 Q, _' }假设：
. V, J7 C- j) t  t$ g
2 H& j2 _% U6 _5 t6 Q2 s# ~2 P% N3 z/ S华科校友没说谎 且 20年前没买榜，

! W) u4 b& f5 o- K: }& C3 B则推出=>  华科今天排名应该高于20年前

+ m* o: ~' V/ Z# `* p这与事实2矛盾，因此假设不成立。

因此：要么华科校友说谎，要么华科20年前买榜

- F! N% C8 E3 z6 o1 _0 D证毕。
& }; y/ `% k7 h! {  Y1 J

2 ]2 L4 C% u9 c6 K# q- u% r; A

西光

有没有可能，华科寄不了

远征

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

" U5 X& T$ S, H0 _' Z如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
, Y- V8 y+ Q% Q' N) q" ?! y
二者互斥，不能同时成立。