学习目标

  • 会构造命题公式的真值表
  • 能运用演算的基本规律进行等值演算
  • 掌握命题公式的等值关系与蕴含关系的证明方法