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

远征

事实：
) g' K* w$ M" q8 B8 {% A3 J. }

- 1、华科校友说这20年是巨大进步了
* q; Z/ Q0 p6 g2 l9 M- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前
% `, ^# D1 q" P4 {+ [  z
假设：
2 @% d9 i/ i- ~  ^/ L# y
" \% m3 |- \( g7 W华科校友没说谎 且 20年前没买榜，
! t8 _: ~" r! v0 [; ~
则推出=>  华科今天排名应该高于20年前
3 R1 ?/ M' W( Q4 C% }' D
这与事实2矛盾，因此假设不成立。
/ {: x& l2 O% t- A4 \0 t+ I
因此：要么华科校友说谎，要么华科20年前买榜

' l: A) r  k- H: [/ o0 _( i证毕。


# X& a/ L4 j6 H& E0 J. Q

西光

有没有可能，华科寄不了

远征

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

! }" a& n/ K. s如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了
, L. `9 B8 V3 Q: C  a
二者互斥，不能同时成立。