离散数学中命题公式与集合公式的教学与实践

摘要

通过引入参与式与主动式教学模式,让学生积极地参与到离散数学的课程教学中去.借助自动求解命题公式的真值表系统,帮助学生避开繁琐的计算过程,快速发现命题公式所具有的特性.引导学生从不同角度发现存在永真蕴含关系的命题公式之间的特性,总结出命题公式永真蕴含的多种证明方法.引导学生发现集合公式与命题公式的共性,并得出集合公式的主范式表示方式与一般求解方法.