A New Approach to Teaching Logic in Discrete Mathematics

Logic is a very important part of discrete mathematics, which is fundamental to computer science. It now has wide applications in many areas and plays more and more important role in computer science. Soundness, completeness,and compactness theorem are added into typical discrete mathematics. Specially, It adopts tableau proof system instead of traditional axiomatic proof system. This can simplify teaching and make student focus on semantics of logic. Furthermore, we share some experiences of teaching logic as part of discrete mathematics.