学习目标

1. 命题与连接词

• 掌握5个命题连接词的运算规律

• 对符合命题符号化

  2. 命题公式的等值演算

• 会构造命题公式的真值表

• 能运用演算的基本规律进行等值演算

• 掌握命题公式的等值关系与蕴含关系的证明方法

  3. 联结词完备集

• 了解联结词完备集的概念

• 了解典型的联结词完备集

  本章重点

  1. 重点内容

• 命题符号化

• 真值表

  2. 一般重点内容

• 命题公式的类型判断

• 命题公式的演算

  3. 非重点内容

• 联结词完备集

  重要考点

• 命题的符号化

• 判断命题公式的类型(永真式或重言式，永假式或矛盾式，可满足式)
• 命题公式的成真指派和成假指派
• 真值表(计算题)