Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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,  share some experiences of teaching logic as part of discrete mathematics.
['Yi Li']
I am writing a research paper on a idea A New Approach to Teaching Logic in Discrete Mathematics
[{"from": "human", "value": "I am writing a research paper on a idea A New Approach to Teaching Logic in Discrete Mathematics"}, {"from": "gpt", "value": "Thats a unique idea.You should consider the following idea to enhance your idea so that it would impact uniquely: 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,  share some experiences of teaching logic as part of discrete mathematics."}]