本课程专注于离散数学中的核心概念之一——重言（永真）蕴涵式的证明方法。通过详细解析与实例演示，帮助学生掌握逻辑推理技巧及证明策略。
2. 证明一个命题为永真式的方法
方法1：列出其真值表。
这里不再举例。
下面讨论另外两种方法。
首先观察A→B的真值表，如果A→B是一个永真式，则在第三组指派中不会出现F。因此有以下两种证明方式：
| A | B | A→B |
|---|---|-|
| F | F | T |
| F | T | T |
| T | F | F |
| T | T | T |
如果A→B是永真式，那么在所有可能的指派中，当A和B都为真的情况下，A→B也必须为真。因此，在构造证明时只需要关注那些可能导致A→B为假的情况，并验证这些情况是否能够出现。
5星
