逻辑符号
命题
并且 ∧
或者 ∨ （不相容⊙，“要么”，手写用 ∨ 中间加一点）
蕴涵 →，逆蕴涵 ← ，等值 ↔
并非 ﹁
对可能会有不同理解的复合命题，要加括号括起来
推理
├ 推出 ，也可以用 ⇒
最好不要使用 → ，以避免与假言命题混同
互推 ┤├
一、默写
1、各复合命题真值表
6个
联言命题、 相容选言命题、不相容选言命题、
充分条件假言命题、必要条件假言命题、充分必要条件假言命题
（如有需要可以使用直尺制表）
2、各复合命题有效推理式
写出推理式和具体内容：
联言命题（2个）、 相容选言命题（1个）、不相容选言命题（2个）、
充分条件假言命题（2个）、必要条件假言命题（2个）
（不用写）充分必要条件假言命题（相当于 合并 充分 和 必要 的有效推理式）
3、各复合命题的负命题的等值式
写出负命题的等值式的符号表达式：
联言命题、 相容选言命题、不相容选言命题、
充分条件假言命题、必要条件假言命题、充分必要条件假言命题
4、各复合命题之间的等值转换
同3，写出符号表达式：
充分条件假言 与 必要条件假言
充分条件假言 与 选言
（换一张纸）
二、推理
复合命题有效推理式的推导过程（即有效推理式是怎么得出来的）：
充分条件假言命题肯定前件式
必要条件假言命题肯定后件式
相容选言命题否定肯定式（以只有2个支命题为例）