1. 模态逻辑中的必然与可能：从典型错题看理解误区
模态逻辑中的"必然"（□）和"可能"（◊）算子是许多初学者最容易混淆的概念。去年试卷中那道关于¬□¬A→◊A的简答题，错误率高达73%，这个看似简单的命题背后藏着模态逻辑的深层机制。
我最初学习时也犯过同样错误，以为"不是必然非A"就等于"可能A"。直到在构造反例模型时才发现问题所在：当A在所有可达世界中都不成立时，¬□¬A为真（因为确实不是"必然非A"），但◊A却为假（因为不存在A成立的可能世界）。这个典型案例揭示了模态逻辑与经典逻辑的本质区别——真值判断必须考虑可达世界的存在性。
具体到试卷那道题，原解题过程的问题出在第一步转换。正确的修正思路应该是保持□(¬A∧B)的完整性，而不是拆分成◊(A∨¬B)。我在黑板上反复推演了五遍才彻底明白，这里的关键在于：
- 模态算子的作用范围不能随意扩展
- 必须严格检查每个可能世界的可达关系
- 构造具体反例是验证猜想的最佳方法
2. 形式系统的三大性质：合理性、完备性与可判定性
去年判断题第4题考察形式系统的性质时，有近40%的同学混淆了"合理性"(soundness)和"完备性"(completeness)。这让我想起导师当年打的比方：合理的系统就像可靠的工厂，出厂产品（可证公式）都合格（语义有效）；完备的系统则是全能工厂，所有合格产品都能生产。
具体到解题技巧：
- 合理性判断：先找反例，若存在模型满足公理但不满足推理规则，则系统不合理
- 完备性验证：需要证明所有有效式都可导出，通常需要构造性证明
- 可判定性测试：检查是否存在算法能判定任意公式是否定理
有个实用的记忆口诀："合理保真不保全，完备保全不保真，判定要看停机否"。在备考时，我建议用这三个性质制作对比表格，把典型系统（如命题逻辑、一阶逻辑）的性质分类填写，这样记忆最牢固。
3. 变元处理中的陷阱：以选择题第3题为例
试卷选择题第3题关于自由变元和约束变元的区分，暴露了许多同学在语法分析上的薄弱环节。我在批改作业时发现，80%的错误都源于没有严格执行"先标记后判断"的步骤：
- 先用下划线标出所有量词作用域
- 检查每个变元首次出现的位置
- 自由变元要满足"无约束且可代入"的特性
特别容易出错的是像∃xP(x)∧Q(x)这样的公式，最后一个x看似在量词范围内，实则已经是自由变元。我有个很管用的检验方法：尝试用不同变量替换疑似自由变元，如果公式含义改变，就是自由变元；反之则是约束变元。
4. Herbrand定理的应用误区与正确证明路径
证明题中涉及Herbrand定理的部分，常见两种极端错误：要么过度依赖基例枚举，要么完全忽视语义树构造。实际上，有效的应用应该分三步走：
- 标准化阶段：将子句集转化为无∃量词的Skolem标准形
- 基例生成：系统性地构造Herbrand宇宙中的基例
- 不可满足性检测：用语义树或归结法验证有限基例集
去年有个有趣的现象：在证明"当S不可满足时，存在有限不可满足基例集"时，超过60%的同学试图直接构造反例，而忽略了紧致性定理的关键作用。正确的思路应该是：
- 假设所有有限基例都可满足
- 根据紧致性，整个子句集也可满足
- 这与前提矛盾，故原命题得证
这个证明过程充分体现了数理逻辑中"正难则反"的典型策略，也是考试中高频出现的考点。
