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

远征

事实：


- ]. ]1 N' l2 ?9 R- 1、华科校友说这20年是巨大进步了
+ P) o' Q- B' @! x& z; [- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前
2 x5 i  z9 Z. H8 u. ]+ o
- D3 U/ K0 K" [假设：

& }  l  U) k/ x1 U- w华科校友没说谎 且 20年前没买榜，
. l- b" \& T% G4 ?0 }
则推出=>  华科今天排名应该高于20年前
( _- l, ~$ n9 e. }% C+ V, b
这与事实2矛盾，因此假设不成立。
6 {  C2 D* {5 `, l& e& M7 K
$ R2 g' r% O8 Y5 H因此：要么华科校友说谎，要么华科20年前买榜
* t: T( Z- o# d
7 z& e( U( e2 S* o5 d证毕。

西光

有没有可能，华科寄不了

远征

如果承认华科近20年有巨大进步，那必定20年前买榜了；
4 x$ T0 R% s7 K5 f8 A5 `
如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
3 J" l* J, M, z& f1 b8 g* o0 y6 {
% Z+ P) O0 f1 C5 \/ C6 `二者互斥，不能同时成立。