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

Si‐Bao Chen
2013-01-01
Abstract: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.
What problem does this paper attempt to address?