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

远征

事实：


) g0 n0 U& a5 f+ H" h5 `9 u- 1、华科校友说这20年是巨大进步了
- 2、20年前在武书连等榜单上华科排过第5，今天在榜单上排到第七，即在武书连等排行榜上今天排名低于20年前
) e0 G* \" Y9 p/ J9 U# \- K5 s- {
假设：

! W- _0 h2 l, Z0 O* a. S0 j0 T1 y华科校友没说谎 且 20年前没买榜，
2 k. \! f5 D2 g8 K+ F+ A; `& W, H
  _, J/ C. k. @! A" Z7 t; J则推出=>  华科今天排名应该高于20年前
3 v9 B& P. {( w, P2 Y1 z
, _* j7 _" K/ A* O* W/ d+ i$ e这与事实2矛盾，因此假设不成立。

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

8 g) n, |" z# E( ?证毕。
. K* G. e' C$ H7 s* R

西光

有没有可能，华科寄不了

远征

如果承认华科近20年有巨大进步，那必定20年前买榜了；
% q6 N5 W) c3 J- o) j+ Q! k* D' r
4 \( c# L  m5 A  m$ z% R/ g4 z: M如果认为华科没有买榜，那华科校友喊20年巨大进步就是说谎了

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