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

远征

事实：


+ z% |( t/ a. s- [- k7 G- 1、华科校友说这20年是巨大进步了
- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前

假设：
: G0 i0 d; u8 Z# s# a2 Z: y' Z
华科校友没说谎 且 20年前没买榜，

则推出=>  华科今天排名应该高于20年前
# @. l2 x* p$ M6 z3 `3 d
  I( w: `1 K8 Y; ^这与事实2矛盾，因此假设不成立。
5 h2 G" G9 l0 ?& |9 B
& c; X7 Z$ x; M因此：要么华科校友说谎，要么华科20年前买榜
) i; X% v0 o" H' u5 ?) _( X
证毕。
1 |- f* l; g6 C( L! s4 A& o

; n/ s$ q1 Z* D" {. g; A

西光

有没有可能，华科寄不了

远征

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

$ ?, Y& n3 v+ u4 ]) s如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了

二者互斥，不能同时成立。