1命题、联结词与真值
闭卷重建命题、联结词与真值的对象、状态、事件、不变量与一个失败反例。
离散数学与证明方法 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2真值表、等价式与范式
闭卷重建真值表、等价式与范式的对象、状态、事件、不变量与一个失败反例。
3推理规则与形式证明
闭卷重建推理规则与形式证明的对象、状态、事件、不变量与一个失败反例。
4谓词、变量与论域
闭卷重建谓词、变量与论域的对象、状态、事件、不变量与一个失败反例。
5全称、存在与量词否定
闭卷重建全称、存在与量词否定的对象、状态、事件、不变量与一个失败反例。
6多重量词与数学语言翻译
闭卷重建多重量词与数学语言翻译的对象、状态、事件、不变量与一个失败反例。
7实验：逻辑等价验证器
闭卷重建实验：逻辑等价验证器的对象、状态、事件、不变量与一个失败反例。