1. In the first chapter of our textbook, Section 1.1 "The origins of Mathematical Logic", the author states that Logic must be formalized because reasoning expressed in informal natural language can be flawed. As a proof, he cites an example of a flawed syllogism given in 1978 by Smullyan: Premise: Some cars rattle. Premise: My car is some car. Conclusion: My car rattles. What is wrong with that syllogism? 2. The Lecture Notes states "Eventually it (Mathematical Logic) became also part of the foundations of Computer Science, serving both a theoretical and a practical purpose." Please explain: (a) The theoretical importance of Mathematical Logic (b) The practical importance of Mathematical Logic