"哦～你这么说我倒好像明白点了，不愧是状元。"李中缩回头，目光投向助教播放的ppt。
张老师站在讲台上，声音铿锵有力："首先，逻辑语言的基础是数学语言，其实高中三年你们已经接触了不少——逻辑联结词、量词的否定、集合的运算，这些我不再赘述，各位同学一起来演练。"
之后的半个小时，ppt上展示的都是高三常见的题型，整个教室里只有笔尖划过纸面的沙沙声。因为高中已经学过，张老师默认这些简单的数学语言在座的各位同学都应该掌握，没有对任何一道题进行讲解，直接给出答案，便开启了新的内容。
"这速度也太快了吧。"
"我上一道题都还没做出来，又开始了？"
"她不会觉得我们全是天才吧？"
"只给答案，不讲过程？"
周围窸窸窣窣的议论声在教室里游走，李中在心里默默认同——就是就是。
之后张老师的讲解开始上难度——从套公式计算到严谨的推演过程，再到反证法，昨天是按照高中时期的思路，根据已学公式得出答案；今天则是逆向工程——反推，为什么要这样证明，甚至推翻自己之前证出来的答案。
临近课程结束，李中抬头看着杨昆，一脸懵开口问道，："你凭什么认为方程式是2x+1而不是-1？为什么是绝对值？为什么f(x?)＞f(x?)？为什么呢？"
杨昆看着李中，今天的内容对他来说确实是超纲了。
到现在为止他还没有完全消化张老师讲的"逻辑语言"，不过庆幸的是，这种状态在整个班级中占了大多数，只有小部分人已经完全理解，并建立起了反推逻辑——求证过程十分顺畅。
比如温软和石威言。
"温同学，石同学，你们听懂了么？"李中趴在桌子上，心灰意冷地问。
"这个在全国数学竞赛里已经开始运用了。"石威言收拾着书包，慢慢解释，"我第一次接触的时候也是头昏脑涨——基本上就是把以前建立的数学逻辑和推理打碎，重新建立一套顺序，不要急慢慢来。"
"说直白点，以前是拼图，现在是构造。"
杨昆和李中似懂非懂地看着他。什么拼图？什么构造？以前在高中也算学霸，怎么到了这里连中文都听不懂了？
"没听懂？"温软起身，拎着帆布包，转头看着后座两人，"下午有事么？"
"没有。"两人异口同声。
温软笑了："一起吃饭，然后回教室我再给你们讲一遍。"
"真的？"两人一脸不可置信。