掌握「模态对当关系」，关键是把知识变成可执行的判断与推演动作。下面这套步骤可以直接照着做。
操作步骤
- 第 1 步：□p 与 ◇非 p 矛盾。
- 第 2 步：◇p 与 □非 p 矛盾。
- 第 3 步：□p 真则 ◇p 真。
- 第 4 步：◇p 假则 □p 假。
每一步在防什么错
- 顺序不能颠倒：□p 与 ◇非 p 矛盾。 是后面所有步骤的前提。
- 中间要让结论可检验：◇p 与 □非 p 矛盾。
- 最后用反例自查：把「必然」与「可能」当成互不相干的两个词。
配套工具与术语
严格蕴含、模态命题、可能世界、逆向思维、必然。
自查口诀把「模态对当关系」的判定过程写下来，能写出完整的第 1 到第 4 步，就说明真的掌握了；只能说出结论，多半还是背下来的。