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