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

Teaching and Practice of Proposition Formulae and Set Formulae in Discrete Mathematics Course

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

Through interactive and active learning,students participate actively in the teaching of discrete mathematics course.By using a system of solving truth table of proposition formulae,students can find the property of any proposition formula quickly without complicated computation of its truth table.Students are guided to find out the property of proposition formulae,which have valid contains relationship between them,and they summarize out several different methods for proving valid contains relationship.The common property between set formulae and proposition formulae are discussed among students,and the principal normal form of set formula is obtained for computation.