It is important to do correct deduction. In this lecture, we study the correctness of deduction using symbolic logic. Natural language is too complex to handle, so we first need to replace it with symbols and find out the essential logical structure. We will study what is the correct deduction, how we can show the correctness, and so on. We will handle first propositional logic, then predicate logic. We may also touch some of none classical logic.